Advanced topics in bisimulation and coinduction
Author(s)
Bibliographic Information
Advanced topics in bisimulation and coinduction
(Cambridge tracts in theoretical computer science, 52)
Cambridge University Press, 2012
- : Hardback
Available at / 14 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references
