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

• A decidable class of asynchronous distributed controllers
• 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
• Distributed controller synthesis for local specifications
• Distributed games with causal memory are decidable for series-parallel systems
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Fundamentals of Computation Theory
• Games for synthesis of controllers with partial observation.
• scientific article; zbMATH DE number 767429 (Why is no real title available?)
• Introduction to discrete event systems
• LATIN 2004: Theoretical Informatics
• The control of synchronous systems. II
• Think globally, act locally: decentralized supervisory control

Cited in

(5)

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

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)