Lug 092012
|
Upcoming PhD course
Bisimulation, process algebras, and coinduction
July 2012
Dipartimento di Matematica e Informatica – Via Ospedale 72, Cagliari
Emilio Tuosto
Department of Computer Science University of Leicester (UK) Abstract. After a brief (non technical) introduction of the abstract concept of bisimulation, the course will show how this notion can be used to define observational semantics of concurrent computations expressed as process algebras (with names). Finally, the course will highlight the coinductive nature of bisimulation and how to use coinduction to reason about the behaviour of concurrent (or diverging) applications.
The
|