Approximating Labelled Markov Processes Again!

Philippe Chaput, Vincent Danos, Prakash Panangaden, Gordon D. Plotkin

Browse the full CALCO paper archive.