Distributed Synthesis for Well-Connected Architectures

DOI10.1007/11944836_30MaRDI QIDQ5385996zbMATH OpenOpenAlexFDO

Authors Paul Gastin, Nathalie Sznajder, 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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distributed synthesis for well-connected architectures
• Decidability of well-connectedness for distributed synthesis
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• Distributed synthesis for acyclic architectures
• On Distributed Program Specification and Synthesis in Architectures with Cycles

Cited in

(8)

• Decidability of well-connectedness for distributed synthesis
• Synthesis in presence of dynamic links
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• On Distributed Program Specification and Synthesis in Architectures with Cycles
• Synthesis of fault-tolerant distributed systems
• Network Synthesis for Distributed Embedded Systems
• scientific article; zbMATH DE number 7278100 (Why is no real title available?)
• Distributed synthesis for well-connected architectures

This page was built for publication: Distributed Synthesis for Well-Connected Architectures

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