"Free-algebra models for the pi -calculus."

Ian Stark (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics