The following pages link to CONCUR 2005 – Concurrency Theory (Q5897481):
Displayed 9 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)
- On the hardness of analyzing probabilistic programs (Q1733103) (← links)
- Three tokens in Herman's algorithm (Q1941880) (← links)
- Algorithmic probabilistic game semantics. Playing games with automata (Q2248076) (← links)
- (Q3384159) (← links)
- (Q5129945) (← links)
- Program equivalence in a typed probabilistic call-by-need functional language (Q6052951) (← links)