Invited Talk: Bisimulation: From The Origins to Today (at LICS 2004)
Authors: Davide SangiorgiAbstract
This is a summary of topics that I would like to discuss in my talk at LICS'04. I intend to expand substantially some of them, notably the part on the origins of bisimulation (and co-induction).
BibTeX
@InProceedings{Sangiorgi-BisimulationFromThe, author = {Davide Sangiorgi}, title = {Bisimulation: From The Origins to Today}, booktitle = {Proceedings of the Nineteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 2004}, year = 2004, editor = {Harald Ganzinger}, month = {July}, pages = {298--302}, location = {Turku, Finland}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }