The following pages link to CONCUR 2003 - Concurrency Theory (Q5900556):
Displaying 11 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)
- (Q3152832) (← links)
- Synthesis and Asynchronous Implementation of Algorithms Using a Generalized P-Function Concept (Q3336693) (← links)
- (Q3346238) (← links)
- Realizability of Concurrent Recursive Programs (Q3617744) (← links)
- (Q4288286) (← links)
- Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition (Q5166610) (← links)