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