Interface automata for shared memory

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items

A linear-time branching-time perspective on interface automata

Uses Software

• mCRL2
• MIO Workbench
• GitHub

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