| Abstract |
|
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).
|
 Additional Information
|
Citation:
Davide Sangiorgi,
"Bisimulation: From The Origins to Today,"
lics,
pp. 298-302,
19th Annual IEEE Symposium on Logic in Computer Science (LICS'04),
2004
|
