A spatial logic for concurrency II (0)

by L Caires, L Cardelli
Venue:TCS