Symbolic bisimulations and proof systems for the [pi]-calculus /
Lin, H.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1994.
Caption title.