The following pages link to CONCUR 2003 - Concurrency Theory (Q5900586):
Displaying 7 items.
- Value-passing CCS with noisy channels (Q428864) (← links)
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- A Behavioural Pseudometric based on λ–Bisimilarity (Q5415666) (← links)
- Reversible monadic computing (Q5971401) (← links)
