Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)
by
ISBN 13: 9781107004979
Format: Hardcover (340 pages) Publisher: Cambridge University Press Published: 13 Oct 2011
Save for later