Distributed synthesis for regular and contextfree specifications

DOI10.1007/978-3-642-22993-0_48MaRDI QIDQ3088069zbMATH OpenOpenAlexFDO

Authors Wladimir Fridman, Bernd Puchala

Publication date 17 August 2011

Published in Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22993-0_48

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Recommendations

• Distributed synthesis for regular and contextfree specifications
• scientific article; zbMATH DE number 1754607
• Distributed synthesis for acyclic architectures
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• Distributed synthesis for well-connected architectures

Cited in

(5)

• On the (High) Undecidability of Distributed Synthesis Problems
• Distributed synthesis for acyclic architectures
• Distributed synthesis for regular and contextfree specifications
• Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge
• On Distributed Program Specification and Synthesis in Architectures with Cycles

This page was built for publication: Distributed synthesis for regular and contextfree specifications

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