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

by I Stark