A Simple Pi-calculus Manipulation Tool
A. van Deursen (TUE)
(Available as P9504-12.ps.gz)
Abstract
The pi-calculus is a challenge for tool generation software, as it is
subject to frequent changes. A specification of desirable
functionality of tools for manipulating pi-calculus expressions is
given, and its extensibility is studied. The difficulties encountered
during specification are discussed, as well as several proposals for
easier tool specification.
N.B. This paper describes ongoing work: Comments welcome!