[PDF.68ms] Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)

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

[PDF.op48] Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)

Advanced Topics in Bisimulation From Cambridge University Press epub
Advanced Topics in Bisimulation From Cambridge University Press pdf download
Advanced Topics in Bisimulation From Cambridge University Press pdf file
Advanced Topics in Bisimulation From Cambridge University Press audiobook
Advanced Topics in Bisimulation From Cambridge University Press book review
Advanced Topics in Bisimulation From Cambridge University Press summary

 | #4169880 in Books |  2011-11-28 | Original language:English | PDF # 1 |  8.98 x.87 x5.98l,1.32 | File type: PDF | 340 pages

---

||About the Author|Davide Sangiorgi is Full Professor in Computer Science at the University of Bologna, Italy.

Jan Rutten is a senior researcher at Centrum Wiskunde and Informatica (CWI) in Amsterdam and Professor of Theoretical Computer Science at Radb

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 computing. It is studied in many disciplines, including process theory and concurrency, modal logic and automata theory. Typically, coinductive proofs demonstrate the equivalence of two objects by constructing a suitable bisimulation relation between them. This collection of ...

You easily download any file type for your device.Advanced Topics in Bisimulation and Coinduction (Cambridge Tracts in Theoretical Computer Science)   |  From Cambridge University Press. A good, fresh read, highly recommended.

Download Now