Title :
Bisimulation: from the origins to today
Author :
Sangiorgi, Davide
Author_Institution :
Bologna Univ., Italy
Abstract :
This is a summary of topics that the author discussed at LICS´04. The author intends to expand substantially some of them, notably the part on the origins of bisimulation (and co-induction).
Keywords :
bisimulation equivalence; bisimilarity; bisimulation; coinductive proof; inductive definition; Automata; Carbon capture and storage; Computer science; Concurrent computing; Lattices; Logic;
Conference_Titel :
Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on
Print_ISBN :
0-7695-2192-4
DOI :
10.1109/LICS.2004.1319624
