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]

Authors

Matthew Hennessy

This author has not been identified. Look up 'Matthew Hennessy' in Google

Julian Rathke

This author has not been identified. Look up 'Julian Rathke' in Google