A fully abstract denotational semantics for the [pi]-calculus /
Hennessy, Matthew.
University of Sussex.School of Cognitive and Computing Sciences.
Brighton : School of Cognitive and Computing Sciences, University of Sussex,
1996.
Cover title.