Nondeterministic Modal Interfaces

DOI10.1007/978-3-662-46078-8_13zbMATH Open1345.68230OpenAlexW100053617MaRDI QIDQ5175101

Gerald Lüttgen, Sascha Fendrich, Ferenc Bujtor, W. Vogler

Publication date: 20 February 2015

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/2865

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)

Related Items (6)

Nondeterministic modal interfaces ⋮ A generalised theory of interface automata, component compatibility and error ⋮ Modal interface automata ⋮ Modal Interface Automata ⋮ A Generalised Theory of Interface Automata, Component Compatibility and Error ⋮ Richer interface automata with optimistic and pessimistic compatibility

This page was built for publication: Nondeterministic Modal Interfaces

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