Distributed synthesis for regular and contextfree specifications

DOI10.1007/978-3-642-22993-0_48zbMATH Open1343.68031OpenAlexW1682025808MaRDI QIDQ3088069FDOQ3088069

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

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

Mathematics Subject Classification ID

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

Cited In (5)

• 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
• On the (High) Undecidability of Distributed Synthesis Problems

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)