A spatial logic for concurrency (part II (2002)

by Luís Caires, Luca Cardelli
Venue:In Proceedings of the 13th International Conference on Concurrency Theory (CONCUR