Bisimulations for a Calculus of Broadcasting Systems.

Matthew Hennessy, Julian Rathke

Browse the full CONCUR paper archive.