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

by Davide Sangiorgi (Editor), JanRutten (Editor)

New
Hardcover
2011
$138.25

Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.

Synopsis

Seven articles survey the state of the art. Discusses various aspects of the subject, with an emphasis on process theory.

$138.25

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 340
Edition: 1
Publisher: Cambridge University Press
Published: 13 Oct 2011
ISBN 10: 1107004977
ISBN 13: 9781107004979

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

New

$138.25

Synopsis

$138.25

More Information