Interface automata for shared memory

DOI10.1007/978-3-030-22348-9_10MaRDI QIDQ6165813zbMATH OpenOpenAlexFDO

Authors Johannes Gareis, Gerald Lüttgen, Ayleen Schinko, Walter Vogler

Publication date 2 August 2023

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

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/89074

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)

Recommendations

• Modal Interface Automata
• Interface theories for concurrency and data
• Modal interface automata
• A linear-time branching-time perspective on interface automata
• An algebraic theory of interface automata

Cited in

(6)

• Generalized interface automata with multicast synchronization
• A linear-time branching-time perspective on interface automata
• Interface automata for shared memory
• Extending interface automata with Z notation
• Interface automata with complex actions: limiting interleaving in interface automata
• From interface automata to hypercontracts

This page was built for publication: Interface automata for shared memory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6165813)