Login / Signup

Behavioral and Spatial Observations in a Logic for the pi-Calculus.

Luís Caires
Published in: FoSSaCS (2004)
Keyphrases