Behavioural and spatial observations in a logic for the pi-Calculus (2004)

by L Caires
Venue:In Proc. FOSSACS’04