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

View PDF

Download Links

by Luís Caires
Citations:12 - 1 self