A spatial logic for concurrency (2001)

by L Cardelli, L Caires
Venue:In TACS’01, LNCS 2255:1–37