000			00735pam a2200217a 44500
008			160408b2012 xxu||||| |||| 00| 0 eng d
020			_a9781107004979
082			_a004.015113 _bAd95
245	0		_aAdvanced topics in bisimulation and coinduction _cedited by Davide Sangiorgi and Jan Rutten
260			_aCambridge _bCambridge University Press _c2012
300			_axiii, 326p
440			_aCambridge Tracts In Theoretical Computer Science / Edited By S. Abramsky
650			_aComputer science
650			_aInduction (Mathematics)
650			_aModality (Logic)
650			_aComputer science--Philosophy
650			_aComputer simulation
700			_aSangiorgi, Davide, Ed.
700			_aRutten, Jan, Ed.
942			_cBK
999			_c371076 _d371076