A Spatial Logic for Concurrency (Part I) (2002)

by Luis Caires , Luca Cardelli
Venue:Information and Computation
Citations:136 - 13 self