First Workshop on Theory and Application of Bisimulations

July 3rd, 2009

Università degli Studi di Trieste

Polo Universitario di Gorizia, Italy

This workshop aims at investigating bisimulations from three main viewpoints: coalgebraic, set-theoretic, and algorithmic.

A. Bossi, R. Focardi, C. Piazza, S. Rossi: Bisimulation and Unwinding in Information Flow Security (pdf)

G. D’Agostino, G. Lenzi: On the µ-calculus over Transitive and Finite Transitive Frames (dvi)

E.-E. Doberkat: On lattice properties of congruences for stochastic relations (pdf)

E. Omodeo, A. Policriti, A. Tomescu: On simple infinitely satisfiable formulae when foundation is withdrawn (pdf)

C. Schubert: Topo-bisimulations are coalgebraic (pdf)

J. Schultze: Avoiding monadic degeneration in purely functional transcompilers (pdf)

Annalisa Bossi, Riccardo Focardi, Carla Piazza, and Sabina Rossi

Domenico Cantone, Massimo Felici, and Marianna Nicolosi Asmundo

Giovanna D’Agostino and Giacomo Lenzi

Ernst-Erich Doberkat

Eugenio G. Omodeo, Alberto Policriti, and Alexandru I. Tomescu

Christoph Schubert

Jan Schultze