an:01243218
Zbl 0915.68065
Hennessy, M.; Rathke, J.
Bisimulations for a calculus of broadcasting systems
EN
Theor. Comput. Sci. 200, No. 1-2, 225-260 (1998).
00051014
1998
j
68Q10 68T15
broadcast calculus; bisimulation congruence; CBS
Summary: We develop a theory of bisimulation equivalence for the broadcast calculus CBS. Both the strong and weak versions of bisimulation congruence, we study are justified in terms of a characterization as the largest CBS congruences contained in an appropriate version of barbed bisimulation. We then present sound and complete proof systems for both the strong and weak congruences over finite terms. The first system we give contains an infinitary proof rule to accommodate input prefixes. We improve on this by presenting a finitary proof system where judgements are relative to properties of the data domain.