Bisimulation congruences in safe ambients /
Merro, Massimo.
Hennessy, Matthew.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
2001.
Caption title.