Dynamic Reactive Modules
From MaRDI portal
Publication:3090845
DOI10.1007/978-3-642-23217-6_27zbMath1343.68167MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Dynamic networks of heterogeneous timed machines, Intensional Couplings in Variable-Structure Models, An operational semantics for object-oriented concepts based on the class hierarchy, Dynamic input/output automata: a formal and compositional model for dynamic systems, Modeling Actor Systems Using Dynamic I/O Automata
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