Action structures and the ��-calculus, in Proof and Computation (1993)

by R Milner
Venue:Schwichtenberg, Series F: Computer and Systems Sciences, NATO Advanced Study Institute, (Proceedings of International Summer School held in Marktoberdorf