Labelled Markov Processes: Stronger and Faster Approximations.

Vincent Danos, Jose Desharnais

Browse the full LICS paper archive.