Synthesis of Asynchronous Systems

DOI10.1007/978-3-540-71410-1_10MaRDI QIDQ3591079zbMATH OpenOpenAlexFDO

Authors Sven Schewe, Bernd Finkbeiner

Publication date 10 September 2007

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71410-1_10

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Effective synthesis of asynchronous systems from GR(1) specifications
• Synthesis of asynchronous reactive programs from temporal specifications
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 4124989
• Synthesis of distributed algorithms using asynchronous automata.

Cited in

(40)

• Asynchronous system synthesis
• Distributed synthesis for parameterized temporal logics
• Synthesis from hyperproperties
• Effective synthesis of asynchronous systems from GR(1) specifications
• From concurrent multi-clock programs to deterministic asynchronous implementations
• Fair synthesis for asynchronous distributed systems
• Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games
• scientific article; zbMATH DE number 1820087 (Why is no real title available?)
• Graph Games and Reactive Synthesis
• From Parity and Payoff Games to Linear Programming
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• Encodings of bounded synthesis
• Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept
• Solving parity games in big steps
• Symmetric strategy improvement
• On the compositionality of round abstraction
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 177246 (Why is no real title available?)
• scientific article; zbMATH DE number 177523 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1305002 (Why is no real title available?)
• scientific article; zbMATH DE number 554484 (Why is no real title available?)
• Symbolic bounded synthesis
• scientific article; zbMATH DE number 2086659 (Why is no real title available?)
• Logic Synthesis for Asynchronous Controllers and Interfaces
• The complexity of transducer synthesis from multi-sequential specifications
• Distributed PROMPT-LTL synthesis
• Symmetric synthesis
• Synthesis of Persistent Systems
• Correct-by-construction asynchronous implementation of modular synchronous specifications
• Solving Parity Games in Big Steps
• scientific article; zbMATH DE number 5269308 (Why is no real title available?)
• Applications and Theory of Petri Nets 2004
• Synthesis of distributed algorithms using asynchronous automata.
• Synthesis of asynchronous reactive programs from temporal specifications
• Synchronous development of asynchronous systems
• An objective improvement approach to solving discounted payoff games
• An objective improvement approach to solving discounted payoff games
• Distributed synthesis for well-connected architectures
• Controlling loosely cooperating processes

This page was built for publication: Synthesis of Asynchronous Systems

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