Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses Swansea University, UK FoSSaCS, Rome - Bisimulation - Document - PDFSEARCH.IO

First Page	Meta Content
	Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses Swansea University, UK FoSSaCS, Rome Add to Reading List Document Date: 2014-11-22 16:20:54 Open Document File Size: 421,26 KB Share Result on Facebook

Modular Bisimulation Theory for Computations and Values Martin Churchill and Peter D. Mosses Swansea University, UK FoSSaCS, RomeAdd to Reading List