Sciweavers

PROCOMET
1998

Bisimulations in the join-calculus

14 years 4 days ago
Bisimulations in the join-calculus
We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact of the lexical scope discipline of the join-calculus on its extensional semantics. We propose several formulations of bisimulation and establish that all formulations yield the same equivalence. We prove that this equivalence is finer than barbed congruence, but that both relations coincide in the presence of name matching. Key words: asynchronous processes; barbed congruence; bisimulation; chemical semantics; concurrency; join-calculus; locality; name matching; pi-calculus.
Michele Boreale, Cédric Fournet, Cosimo Lan
Added 01 Nov 2010
Updated 01 Nov 2010
Type Conference
Year 1998
Where PROCOMET
Authors Michele Boreale, Cédric Fournet, Cosimo Laneve
Comments (0)