The following pages link to CONCUR 2005 – Concurrency Theory (Q5897481):
Displayed 5 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties (Q498408) (← links)
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Three tokens in Herman's algorithm (Q1941880) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)