Synthesis of Asynchronous Systems

DOI10.1007/978-3-540-71410-1_10zbMATH Open1196.68142OpenAlexW1490247810MaRDI QIDQ3591079FDOQ3591079

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

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.

Mathematics Subject Classification ID

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

Cited In (38)

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

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)