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