From Asynchronous to Synchronous Specifications for Distributed Program Synthesis

DOI10.1007/978-3-540-77566-9_14MaRDI QIDQ5448644zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• LATIN 2004: Theoretical Informatics
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Fair synthesis for asynchronous distributed systems
• On Distributed Program Specification and Synthesis in Architectures with Cycles
• scientific article; zbMATH DE number 7278100

Cites work

• scientific article; zbMATH DE number 1754607 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• Decentralized control and coordination of discrete-event systems with partial observation
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Fundamentals of Computation Theory
• On the (High) Undecidability of Distributed Synthesis Problems

Cited in

(8)

• scientific article; zbMATH DE number 1820087 (Why is no real title available?)
• Generic transforms on incomplete specifications of asynchronous interfaces
• LATIN 2004: Theoretical Informatics
• Special issue on ``Comprehending asynchrony in specification and analysis dedicated to Walter Vogler on the occasion of his 60th birthday
• Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• From synchronous programs to symbolic representations of hybrid systems

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

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