An introduction to Bisimulation and Coinduction


Davide Sangiorgi

 
@book{bisimCoind11,
Author = {Sangiorgi, Davide},
Publisher = {Cambridge University Press},
Title = {An introduction to Bisimulation and Coinduction},
Year = 2011}
 

Tags:

Publication

— authors

Davide Sangiorgi

— status

published

— sort

book

BibTeX

— BibTeX ID
bisimCoind11
— BibTeX category
book

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY