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):
Displayed 4 items.
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- A Nice labelling for tree-like event structures of degree 3 (Q979077) (← links)
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems (Q3599069) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)