Dynamic Reactive Modules

DOI10.1007/978-3-642-23217-6_27MaRDI QIDQ3090845zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• A calculus of communicating systems
• A calculus of mobile processes. I
• A discrete-time UML semantics for concurrency and communication in safety-critical applications
• Modular refinement of hierarchic reactive machines
• Statecharts: a visual formalism for complex systems
• Verification by augmented finitary abstraction

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)