On Distributed Monitoring and Synthesis
From MaRDI portal
Publication:3195680
DOI10.1007/978-3-319-20028-6_6zbMath1459.68017OpenAlexW1133452811MaRDI QIDQ3195680
Publication date: 20 October 2015
Published in: Evolving Computability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-20028-6_6
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A quadratic construction for Zielonka automata with acyclic communication structure
- Asynchronous mappings and asynchronous cellular automata
- Partial (set) 2-structures. II: State spaces of concurrent systems
- Using partial orders for the efficient verification of deadlock freedom and safety properties
- Model-checking of correctness conditions for concurrent objects
- A Kleene theorem and model checking algorithms for existentially bounded communicating automata
- A theory of regular MSC languages
- Fair Synthesis for Asynchronous Distributed Systems
- Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width
- Distributed synthesis for acyclic architectures
- Monitoring Atomicity in Concurrent Programs
- Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
- Constructing Exponential-Size Deterministic Zielonka Automata
- Realizability of Concurrent Recursive Programs
- Notes on finite asynchronous automata
- Time, clocks, and the ordering of events in a distributed system
- Keeping track of the latest gossip in a distributed system
- Asynchronous Games over Tree Architectures
- Optimal dynamic partial order reduction
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Tools and Algorithms for the Construction and Analysis of Systems
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
This page was built for publication: On Distributed Monitoring and Synthesis