Interface automata for shared memory
From MaRDI portal
Publication:2675806
DOI10.1007/s00236-021-00408-8OpenAlexW2953958672MaRDI QIDQ2675806
Ayleen Schinko, Walter Vogler, N. Tri Nguyen, Johannes Gareis, Gerald Lüttgen
Publication date: 26 September 2022
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-021-00408-8
Related Items
Uses Software
Cites Work
- Unnamed Item
- An algebraic theory of interface automata
- Interface theories for concurrency and data
- CCS expressions, finite state processes, and three problems of equivalence
- Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings
- A linear-time branching-time perspective on interface automata
- Session types revisited
- A generalised theory of interface automata, component compatibility and error
- Error-pruning in interface automata
- Nondeterministic modal interfaces
- Behavioral interface specification languages
- A Modal Interface Theory for Component-based Design
- A Modal Interface Theory with Data Constraints
- Multiparty asynchronous session types
- Mediator Synthesis in a Component Algebra with Data
- On Weak Modal Compatibility, Refinement, and the MIO Workbench
- Fault-Free Refinements for Interface Automata
- Frontiers of Combining Systems
- Modal I/O Automata for Interface and Product Line Theories
- Modal Interface Automata
- Interface automata for shared memory
