A spatial logic for concurrency (part ii (0)

by Luis Caires, Luca Cardelli
Venue:In Proceedings of CONCUR’2002, Lecture Notes in Computer Science