COSY

swMATH30494MaRDI QIDQ42208FDOQ42208

Author name not available (Why is that?)

Described by source

• COSY - a system specification language based on paths and processes

Cited In (13)

• 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
• 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