A spatial logic for concurrency - ii (0)

by Lúıs Caires, Luca Cardelli
Venue:Theor. Comput. Sci