A spatial logic for concurrency (Part II (2002)

by L Caires, L Cardelli
Venue:In Proc. of CONCUR’02, volume 2421 of LNCS