Error-Pruning in Interface Automata

DOI10.1007/978-3-319-04298-5_15zbMath1422.68147OpenAlexW1584394310MaRDI QIDQ2938099

Ferenc Bujtor, Walter Vogler

Publication date: 13 January 2015

Published in: SOFSEM 2014: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-04298-5_15

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Nondeterministic modal interfaces ⋮ A generalised theory of interface automata, component compatibility and error ⋮ A Generalised Theory of Interface Automata, Component Compatibility and Error ⋮ Moving from interface theories to assembly theories

This page was built for publication: Error-Pruning in Interface Automata