Bisimulation: From The Origins to Today

Authors:
Davide Sangiorgi
Affiliations:
University of Bologna, Italy
Venue:
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
Year:
2004

Citing 0
Cited 7

A behavioural pseudometric for metric labelled transition systems

CONCUR 2005 - Concurrency Theory
Open bisimulation for aspects

Proceedings of the 6th international conference on Aspect-oriented software development
(Bi)simulations up-to characterise process semantics

Information and Computation
Open Bisimulation for Aspects

Transactions on Aspect-Oriented Software Development V
On the correctness of model transformations in the development of embedded systems

Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis

Transactions on computational science I
Probabilistic Logical Characterization

Information and Computation

Quantified Score

Hi-index	0.00

Visualization

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