Dynamic input/output automata: a formal and compositional model for dynamic systems
From MaRDI portal
Publication:2629850
DOI10.1016/j.ic.2016.03.008zbMath1344.68114arXiv1604.06030OpenAlexW2285521038MaRDI QIDQ2629850
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
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