Unfolding Synthesis of Asynchronous Automata
From MaRDI portal
Publication:3434681
DOI10.1007/11753728_8zbMath1185.68380OpenAlexW1480265533MaRDI QIDQ3434681
Publication date: 2 May 2007
Published in: Computer Science – Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11753728_8
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
Distributed Asynchronous Automata, Compositional synthesis of asynchronous automata, Realizability of Concurrent Recursive Programs