Distributed synthesis for regular and contextfree specifications
From MaRDI portal
Publication:3088069
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
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)