Davide Sangiorgi,
"Bisimulation: From The Origins to Today,"
Logic in Computer Science, Symposium on, pp. 298-302, 19th Annual IEEE Symposium on Logic in Computer Science (LICS'04), 2004.
BibTex
x
@article{
10.1109/LICS.2004.1319624, author = {Davide Sangiorgi}, title = {Bisimulation: From The Origins to Today}, journal ={Logic in Computer Science, Symposium on}, volume = {0}, year = {2004}, issn = {1043-6871}, pages = {298-302}, doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2004.1319624}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Logic in Computer Science, Symposium on TI - Bisimulation: From The Origins to Today SN - 1043-6871 SP298 EP302 A1 - Davide Sangiorgi, PY - 2004 KW - null VL - 0 JA - Logic in Computer Science, Symposium on ER -
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).
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
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb