The following pages link to CONCUR 2003 - Concurrency Theory (Q5900556):
Displaying 5 items.
- A quadratic construction for Zielonka automata with acyclic communication structure (Q407518) (← links)
- Compositional synthesis of asynchronous automata (Q551202) (← links)
- Distributed synthesis for well-connected architectures (Q842581) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)