Sangiorgi, Davide2019-01-022024-04-262019-01-022024-04-262012978-1-107-00363-7https://drs.ess.gov.et/handle/12345678/33595enIntroduction to Bisimulation and CoinductionBook