Behavioral and Spatial Observations in a Logic for the pi-Calculus (2004)

by L Caires
Venue:In Proc. of FOSSACS’04