Detail

Publication date: 01/01/2003

A spatial logic for concurrency (part I)

Authors

Luis Caires, Luca Cardelli,

URL http://dx.doi.org/10.1016/S0890-5401(03)00137-8
Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 186
Number 2
URL http://dx.doi.org/10.1016/S0890-5401(03)00137-8
Journal Information and Computation (Elsevier)
Publisher Universitat Politècnica de Catalunya
Volume 186
Number 2