Dynamic Reactive Modules
From MaRDI portal
Publication:3090845
DOI10.1007/978-3-642-23217-6_27zbMath1343.68167OpenAlexW1510156699MaRDI QIDQ3090845
Jasmin Fisher, Dejan Ničković, Moshe Y. Vardi, Anmol V. Singh, Nir Piterman, Thomas A. Henzinger
Publication date: 2 September 2011
Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_27
Related Items (5)
Dynamic input/output automata: a formal and compositional model for dynamic systems ⋮ Modeling Actor Systems Using Dynamic I/O Automata ⋮ Dynamic networks of heterogeneous timed machines ⋮ An operational semantics for object-oriented concepts based on the class hierarchy ⋮ Intensional Couplings in Variable-Structure Models
Cites Work
- Unnamed Item
- Statecharts: a visual formalism for complex systems
- A calculus of communicating systems
- A calculus of mobile processes. I
- A discrete-time UML semantics for concurrency and communication in safety-critical applications
- Verification by augmented finitary abstraction
- Modular refinement of hierarchic reactive machines
This page was built for publication: Dynamic Reactive Modules