Advanced Topics in Bisimulation and Coinduction

Book Overview

Coinduction is a method for specifying and reasoning about infinite data types and automata with infinite behaviour. In recent years, it has come to play an ever more important role in the theory of... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1107004977
• ISBN13: 9781107004979
• Release Date: November 2011
• Publisher: Cambridge University Press
• Length: 340 Pages
• Weight: 1.32 lbs.
• Dimensions: 0.9" x 6.0" x 9.1"