COSY - a system specification language based on paths and processes

DOI10.1007/BF00266047zbMath0403.68031OpenAlexW2006244393MaRDI QIDQ1256313

P. R. Torrigiani, Michael Shields, Peter E. Lauer

Publication date: 1979

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00266047

zbMATH Keywords

Concurrent ProcessCosyOperating SystemSystem Specification Language

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (16)

Concurrent and maximally concurrent evolution of nonsequential systems ⋮ Concurrent histories: a basis for observing distributed systems ⋮ Synchronization trees ⋮ On priority in COSY ⋮ Adequacy properties of path programs ⋮ Correctness of concurrent processes ⋮ Concurrent regular expressions and their relationship to Petri nets ⋮ Compilation of the ELECTRE reactive language into finite transition systems ⋮ Transforming sequential systems into concurrent systems ⋮ COSY ⋮ CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions ⋮ Langages infinitaires et produit de mixage ⋮ The Merlin-Randell problem of train journeys ⋮ Towards a formal proof system for \(\omega\)-rational expressions ⋮ Nivat's processes and their synchronization ⋮ A formal semantics for concurrent systems with a priority relation

This page was built for publication: COSY - a system specification language based on paths and processes