Invited Talk: Bisimulation and Co-induction (Tutorial) (at LICS 1993)
Authors: Andrew M. PittsAbstract
No Abstract Available
BibTeX
@InProceedings{Pitts-BisimulationandCoin, author = {Andrew M. Pitts}, title = {Bisimulation and Co-induction (Tutorial)}, booktitle = {Proceedings of the Eighth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1993}, year = 1993, editor = {Moshe Vardi}, month = {June}, pages = {2--3}, location = {Montreal, Canada}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }