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

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

Recommendations

• Distributed synthesis for regular and contextfree specifications
• Distributed controller synthesis for local specifications
• Distributed synthesis for acyclic architectures
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• Distributed synthesis for well-connected architectures

Cited in

(6)

• Distributed synthesis for regular and contextfree specifications
• Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge
• Distributed synthesis for acyclic architectures
• On Distributed Program Specification and Synthesis in Architectures with Cycles
• Synthesizing distributed transition systems from global specifications
• 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)