Ambient logic (2005)

by L Cardelli, A D Gordon
Venue:Mathematical Structures in Computer Science