The following pages link to Modeling Timed Concurrent Systems (Q5756605):
Displayed 6 items.
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications (Q530560) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- Verifying hierarchical Ptolemy II discrete-event models using real-time maude (Q1951606) (← links)
- A semantic model for interacting cyber-physical systems (Q2079682) (← links)
- The fixed-point theory of strictly causal functions (Q2257306) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)