A Toolbox for the Analysis of Discrete Event Dynamic Systems
Abstract elided by the publisher.
Related papers
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control TACAS 1996
- Task-Driven Supervisory Control of Discrete Event Systems CAV 1990
- Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling CAV 2002
- Analysis of Synchronization in Massively Parallel Discrete-Event Sumulations PPoPP 1990
- Scaling GR(1) Synthesis via a Compositional Frameworkfor LTL Discrete Event Control CAV 2025
- Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages TOPLAS 1981
- CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes CAV 2007
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes TACAS 2011