Advanced topics in bisimulation and coinduction

Language
English.
Imprint
Cambridge, UK ; New York : Cambridge University Press, 2012.
Physical description
xiii, 326 p. : ill. ; 24 cm.
Series
Cambridge tracts in theoretical computer science ; 52.

Browse related items

Start at call number:
Librarian view | Catkey: 9379628