Free-algebra models for the pi -calculus (0)

by Ian Stark
Venue:Theor. Comput. Sci