Bisimulations for a Calculus of Broadcasting Systems

Matthew Hennessy, Julian Rathke. Bisimulations for a Calculus of Broadcasting Systems. Theoretical Computer Science, 200(1-2):225-260, 1998. [doi]

Abstract

Abstract is missing.