Plain CHOCS: A second generation calculus for higher order processes (1993)

by B Thomsen
Venue:Acta Inf