On Distributed Program Specification and Synthesis in Architectures with Cycles

DOI10.1007/11888116_14MaRDI QIDQ3613067zbMATH OpenOpenAlexFDO

Authors Julien Bernet, David Janin

Publication date 11 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11888116_14

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distributed synthesis for acyclic architectures
• Distributed synthesis for well-connected architectures
• Distributed Synthesis for Well-Connected Architectures
• Distributed synthesis for regular and contextfree specifications
• Distributed synthesis for regular and contextfree specifications

Cites work

• scientific article; zbMATH DE number 1927560 (Why is no real title available?)
• scientific article; zbMATH DE number 1754607 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• scientific article; zbMATH DE number 1863184 (Why is no real title available?)
• scientific article; zbMATH DE number 767429 (Why is no real title available?)
• Automated Technology for Verification and Analysis
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Decision algorithms for multiplayer noncooperative games of incomplete information
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Fundamentals of Computation Theory
• Games for synthesis of controllers with partial observation.
• LATIN 2004: Theoretical Informatics
• Think globally, act locally: decentralized supervisory control

Cited in

(5)

• Distributed synthesis for well-connected architectures
• Distributed Synthesis for Well-Connected Architectures
• From Asynchronous to Synchronous Specifications for Distributed Program Synthesis
• Distributed synthesis for acyclic architectures
• Distributed synthesis for regular and contextfree specifications

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: On Distributed Program Specification and Synthesis in Architectures with Cycles

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