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

Lus Caires

Browse the full FOSSACS paper archive.