Pages that link to "Item:Q5897770"
From MaRDI portal
The following pages link to FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897770):
Displaying 21 items.
- Petri games: synthesis of distributed systems with causal memory (Q515654) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Controlling loosely cooperating processes (Q896910) (← links)
- A Nice labelling for tree-like event structures of degree 3 (Q979077) (← links)
- Synthesis in presence of dynamic links (Q2105465) (← links)
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- The synthesis problem for repeatedly communicating Petri games (Q2165240) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Rabin's theorem in the concurrency setting: a conjecture (Q2253187) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Efficient Trace Encodings of Bounded Synthesis for Asynchronous Distributed Systems (Q3297600) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Bounded Synthesis for Petri Games (Q3449635) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- (Q5020999) (← links)
- Distributed Asynchronous Games With Causal Memory are Undecidable (Q5043589) (← links)
- (Q5090956) (← links)
- Automated Synthesis: a Distributed Viewpoint (Q5136292) (← links)
- (Q5136322) (← links)
- (Q5875388) (← links)
