On Distributed Program Specification and Synthesis in Architectures with Cycles

DOI10.1007/11888116_14zbMath1225.68110OpenAlexW1578324897MaRDI QIDQ3613067

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

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

Related Items (1)

Distributed synthesis for well-connected architectures

Uses Software

• UMDES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Games for synthesis of controllers with partial observation.
• Decision algorithms for multiplayer noncooperative games of incomplete information
• Think globally, act locally: decentralized supervisory control
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• Automated Technology for Verification and Analysis
• Fundamentals of Computation Theory
• Decidability of Second-Order Theories and Automata on Infinite Trees
• LATIN 2004: Theoretical Informatics

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