Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)

by: Davide Sangiorgi · Jan Rutten Hardcover details (UK). ISBN: 978-1-107-00497-9 ISBN-10: 1-107-00497-7 Cambridge University Press · 2011