Distributed Synthesis for Well-Connected Architectures
From MaRDI portal
Publication:5385996
DOI10.1007/11944836_30zbMath1177.68146OpenAlexW1596059896MaRDI 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
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 synthesis for well-connected architectures ⋮ Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems ⋮ Synthesis of Fault-Tolerant Distributed Systems