Introduction to Bisimulation and Coinduction - Hardcover

Sangiorgi, Davide

 
9781107003637: Introduction to Bisimulation and Coinduction

Synopsis

A comprehensive treatment of two fundamental concepts in computer science, mathematics and other fields.

"synopsis" may belong to another edition of this title.

About the Author

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

"About this title" may belong to another edition of this title.