Unique fixpoint induction for message-passing process calculi /
Hennessy, Matthew.
Lin, H.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
1995.