Proof methodologies for behavioural equivalence in distributed [pi]-calculus /
Ciaffaglione, Alberto.
Hennessy, Matthew.
Rathke, Julian.
University of Sussex.Computer Science.
Brighton : University of Sussex,
[2005]
Title from cover.
"April 2005."
Includes bibliographical references.