A Spatial Logic for Concurrency (2004)

by L Caires, L Cardelli
Venue:Part II. Theoretical Computer Science