Introduction to bisimulation and coinduction

Name: Introduction to bisimulation and coinduction
Author: Davide Sangiorgi

by Davide Sangiorgi · 1 review · 2013

Reviewed by	Journal	Date	Access
Julian Gutierrez	The Bulletin of Symbolic Logic	2013-03-00	Restricted