Dynamic Reactive Modules

DOI10.1007/978-3-642-23217-6_27zbMATH Open1343.68167OpenAlexW1510156699MaRDI QIDQ3090845FDOQ3090845

Authors: Jasmin Fisher, Dejan Ničković, Nir Piterman, Anmol V. Singh, Moshe Y. Vardi, 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

Recommendations

• scientific article; zbMATH DE number 4085004
• Trustworthy Global Computing
• Petri net reactive modules
• Modular dynamic evaluation
• Combining aspects of reactive systems
• scientific article; zbMATH DE number 1487729
• scientific article; zbMATH DE number 4124989

Mathematics Subject Classification ID

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

Cites Work

• Statecharts: a visual formalism for complex systems
• A calculus of mobile processes. I
• A calculus of communicating systems
• Title not available (Why is that?)
• Modular refinement of hierarchic reactive machines
• Verification by augmented finitary abstraction
• A discrete-time UML semantics for concurrency and communication in safety-critical applications

Cited In (5)

• Modeling actor systems using dynamic I/O automata
• Dynamic input/output automata: a formal and compositional model for dynamic systems
• An operational semantics for object-oriented concepts based on the class hierarchy
• Intensional couplings in variable-structure models: an exploration based on multilevel-DEVS
• Dynamic networks of heterogeneous timed machines

This page was built for publication: Dynamic Reactive Modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3090845)