Can we communicate? Using dynamic logic to verify team automata
DOI10.1007/978-3-031-27481-7_9zbMATH Open1529.68165MaRDI QIDQ6174530FDOQ6174530
Authors: Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença 
Publication date: 17 August 2023
Published in: Formal Methods (Search for Journal in Brave)
Recommendations
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Communicating Finite-State Machines
- Title not available (Why is that?)
- A theory of contracts for web services
- A generic framework for \(n\)-protocol compatibility checking
- Modeling and analysis of communicating systems
- Modal I/O Automata for Interface and Product Line Theories
- Compliance in behavioural contracts: a brief survey
- On weak modal compatibility, refinement, and the MIO workbench
- Compatibility in a multi-component environment
- Title not available (Why is that?)
- Vector team automata
- Title not available (Why is that?)
- Modularity for teams of I/O automata
- Behavioural contracts for a sound assembly of components
- Compatibility properties of synchronously and asynchronously communicating components
- Compositionality of safe communication in systems of team automata
- Automata for Specifying and Orchestrating Service Contracts
- Moving from interface theories to assembly theories
- Richer interface automata with optimistic and pessimistic compatibility
- Featured Team Automata
Cited In (5)
This page was built for publication: Can we communicate? Using dynamic logic to verify team automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6174530)
