From Asynchronous to Synchronous Specifications for Distributed Program Synthesis

DOI10.1007/978-3-540-77566-9_14zbMath1133.68015OpenAlexW1493457507MaRDI QIDQ5448644

Julien Bernet, David Janin

Publication date: 7 March 2008

Published in: SOFSEM 2008: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77566-9_14

Mathematics Subject Classification ID

Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Decentralized control and coordination of discrete-event systems with partial observation
• On the (High) Undecidability of Distributed Synthesis Problems
• Fundamentals of Computation Theory

This page was built for publication: From Asynchronous to Synchronous Specifications for Distributed Program Synthesis