The following pages link to CONCUR 2003 - Concurrency Theory (Q5900566):
Displaying 9 items.
- A process algebraic view of input/output automata (Q674195) (← links)
- Composition and behaviors of probabilistic I/O automata (Q1392272) (← links)
- Generalized interface automata with multicast synchronization (Q1633060) (← links)
- Task-structured probabilistic I/O automata (Q1745718) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Proving approximate implementations for probabilistic I/O automata (Q2864525) (← links)
- A calculus for team automata (Q2873606) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709998) (← links)