COSY
COSY - a system specification language based on paths and processes. A new notation for specifying systems of concurrent processes sharing distributed systems of resources is introduced and the utility of the notation is demonstrated by defining novel, highly concurrent and distributed algorithms performing important operating system functions. The notation permits a clear and logical development of the algorithms from an analysis of its component notions; such as various buffer types, as well as non-priority and priority resource management strategies; without any reference to implementation detail. This property of the notation facilitates both the validation of the algorithms as well as their novel, highly concurrent and distributed implementation.
Keywords for this software
References in zbMATH (referenced in 14 articles , 1 standard article )
Showing results 1 to 14 of 14.
Sorted by year (- van Glabbeek, Rob J.; Höfner, Peter: CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (2015)
- Arnold, André: Nivat’s processes and their synchronization (2002)
- Cassez, Franck; Roux, Olivier: Compilation of the ELECTRE reactive language into finite transition systems (1995)
- Garg, Vijay K.; Ragunath, M. T.: Concurrent regular expressions and their relationship to Petri nets (1992)
- Olderog, Ernst-Rüdiger: Correctness of concurrent processes (1991)
- Okulicka, Felicja: On priority in COSY (1990)
- Degano, Pierpaolo; Montanari, Ugo: Concurrent histories: a basis for observing distributed systems (1987)
- Janicki, Ryszard: A formal semantics for concurrent systems with a priority relation (1987)
- Janicki, Ryszard; Lauer, Peter E.; Koutny, Maciej; Devillers, Raymond: Concurrent and maximally concurrent evolution of nonsequential systems (1986)
- Janicki, Ryszard: Transforming sequential systems into concurrent systems (1985)
- De Simone, Robert: Langages infinitaires et produit de mixage (1984)
- Winskel, Glynn: Synchronization trees (1984)
- Best, E.: Adequacy properties of path programs (1982)
- Lauer, P. E.; Torrigiani, P. R.; Shields, M. W.: COSY - a system specification language based on paths and processes (1979)