COSY
From MaRDI portal
Software:42208
No author found.
Related Items (13)
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 ⋮ 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 ⋮ Nivat's processes and their synchronization ⋮ A formal semantics for concurrent systems with a priority relation
This page was built for software: COSY
