Dynamic input/output automata: a formal and compositional model for dynamic systems

DOI10.1016/j.ic.2016.03.008zbMath1344.68114arXiv1604.06030OpenAlexW2285521038MaRDI QIDQ2629850

Paul C. Attie, Nancy A. Lynch

Publication date: 7 July 2016

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1604.06030

zbMATH Keywords

automataformal methodssemanticsdynamic systemsmobilityprocess creation

Mathematics Subject Classification ID

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

Related Items

Modeling Actor Systems Using Dynamic I/O Automata, Synthesis of large dynamic concurrent programs from dynamic specifications, Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates, Dynamic networks of heterogeneous timed machines, Intensional Couplings in Variable-Structure Models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process algebraic view of input/output automata
• On the refinement of liveness properties of distributed systems
• A modular drinking philosophers algorithm
• Liveness in timed and untimed systems
• Eventually-serializable data services
• Mobile ambients
• Verification by augmented finitary abstraction
• A framework for automated distributed implementation of component-based models
• Liveness-preserving simulation relations
• Bigraphs and transitions
• Dynamic Reactive Modules
• Knowledge and common knowledge in a distributed environment
• The Space and Motion of Communicating Agents
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• A calculus of mobile agents