Titlebook: CONCUR‘93; 4th International Co Eike Best Conference proceedings 1993 Springer-Verlag Berlin Heidelberg 1993 Automata.Automaten.CONCUR‘93.C

analogous

Laconic

假

callous

Expressly

aggressor

VALID

Eviction

NAIVE

,On the reduction of chocs bisimulation to π-calculus bisimulation, a formalization of the notion of bisimulation for Chocs. In this paper we suggest a more effective way to reason about this notion by means of an embedding of Chocs into a richer calculus endowed with a notion of ‘a(chǎn)ctivation’ channel which we christen .. is the name of a new internal action which i

BLANK

,A theory of bisimulation for the π-calculus,valences, ～ is preserved by name substitution and (hence) by input prefix. The differences among all these equivalences already appear in the sublanguage without restriction: Here the definition of ～ can be factorised into a “standard” part which, modulo the different syntax of actions, is the CCS b