A fully abstract denotational semantics for the π-calculus (0)

by M Hennessy
Venue:Theoret. Comput. Sci