Calculi for interaction (1996)

by R Milner
Venue:Acta Informatica