A Spatial Equational Logic for the Applied pi-Calculus.

tienne Lozes, Jules Villard

Browse the full CONCUR paper archive.