Modeling Actor Systems Using Dynamic I/O Automata

DOI10.1007/978-3-319-41579-6_15zbMath1461.68135OpenAlexW2479474924MaRDI QIDQ3179176

Ilham W. Kurnia, Arnd Poetzsch-Heffter

Publication date: 21 December 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41579-6_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• ABS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Compositional reasoning about active objects with shared futures
• Scala actors: Unifying thread-based and event-based programming
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• Specification diagrams for actor systems
• A system for compositional verification of asynchronous objects
• Dynamic input/output automata: a formal and compositional model for dynamic systems
• Ideal Abstractions for Well-Structured Transition Systems
• Verification of Dynamic Register Automata
• Dynamic Reactive Modules
• Realizability of Dynamic MSC Languages
• Proofs of Networks of Processes
• Proof-theoretic foundations for the design of actor systems
• Dynamic Communicating Automata and Branching High-Level MSCs
• Algebraic Methodology and Software Technology
• An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

This page was built for publication: Modeling Actor Systems Using Dynamic I/O Automata