A π-calculus with limited resources, garbage-collection and guarantees /
Teller, David.
University of Sussex.Computer Science.
Brighton : University of Sussex,
2004.
Title from cover.
Includes bibliographical references.