Conditional Expectation and the Approximation of Labelled Markov Processes.

Vincent Danos, Jose Desharnais, Prakash Panangaden

Browse the full CONCUR paper archive.