Dynamic Reactive Modules

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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