COSY
From MaRDI portal
Cited in
(14)- Langages infinitaires et produit de mixage
- A formal semantics for concurrent systems with a priority relation
- Concurrent and maximally concurrent evolution of nonsequential systems
- Concurrent histories: a basis for observing distributed systems
- Adequacy properties of path programs
- Correctness of concurrent processes
- Concurrent regular expressions and their relationship to Petri nets
- Synchronization trees
- Nivat's processes and their synchronization
- 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
- Path Pascal
- Compilation of the ELECTRE reactive language into finite transition systems
- On priority in COSY
This page was built for software: COSY
