COSY - a system specification language based on paths and processes
From MaRDI portal
Publication:1256313
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
Related Items
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
