Strong bisimulations for a calculus of broadcasting systems /
Hennessy, Matthew.
Rathke, J.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
1995.