Next: Workshops, Travels and Visits
Up: Università di Bologna
Previous: Università di Bologna
Analysis of Bisimulation
We have mainly investigated the theory of bisimulation
in the join-calculus [BFL97].
To this purpose, we introduce a refined operational
model that makes interactions with the environment explicit. In this
framework we show that the so-called ``locality property''
strongly affects the treatment of
bisimulation, and provides a semantics simpler than other proposals in
the literature.
We also propose several formulations of bisimulation and we establish that
all formulations yield the same equivalence, which is finer than barbed
congruence. Bisimulation and barbed congruence coincide in the presence
of name-testing.
1/10/1998