Bisimulation: from the origins to today

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).

Saved in:
Bibliographic Details
Published inProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004 pp. 298 - 302
Main Author Sangiorgi, D.
Format Conference Proceeding
LanguageEnglish
Published Los Alamitos, Calif IEEE 2004
IEEE Computer Society
Subjects
Applied sciences
Automata
Carbon capture and storage
Computer science
Computer science; control theory; systems
Concurrent computing
Exact sciences and technology
Lattices
Logic
Logical, boolean and switching functions
Theoretical computing
Bisimulation
Induction
Logical programming
Online AccessGet full text

Cover

More Information
Summary: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).
ISBN:9780769521923
0769521924
ISSN:1043-6871
2575-5528
DOI:10.1109/LICS.2004.1319624