Calculi for interaction (1996)

by Robin Milner
Venue:Acta Informatica