Calculi for interaction, (1996)

by R Milner
Venue:Acta Informatica