Modular Bisimulation Theory for Computations and Values.

Martin Churchill, Peter D. Mosses

Browse the full FOSSACS paper archive.