Distributed Synthesis for Well-Connected Architectures
From MaRDI portal
Publication:5385996
DOI10.1007/11944836_30zbMath1177.68146MaRDI QIDQ5385996
Nathalie Sznajder, Paul Gastin, Marc Zeitoun
Publication date: 17 April 2008
Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11944836_30
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Distributed synthesis for well-connected architectures, Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems, Synthesis of Fault-Tolerant Distributed Systems