The following pages link to COSY (Q42208):
Displaying 13 items.
- Compilation of the ELECTRE reactive language into finite transition systems (Q673127) (← links)
- On priority in COSY (Q914367) (← links)
- Langages infinitaires et produit de mixage (Q1061496) (← links)
- A formal semantics for concurrent systems with a priority relation (Q1074338) (← links)
- Concurrent and maximally concurrent evolution of nonsequential systems (Q1083185) (← links)
- Concurrent histories: a basis for observing distributed systems (Q1089787) (← links)
- Adequacy properties of path programs (Q1161276) (← links)
- Correctness of concurrent processes (Q1176236) (← links)
- Concurrent regular expressions and their relationship to Petri nets (Q1184987) (← links)
- Synchronization trees (Q1348524) (← links)
- Nivat's processes and their synchronization (Q1603683) (← links)
- Transforming sequential systems into concurrent systems (Q2265803) (← links)
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions (Q2340255) (← links)