Publication
Detail
Publication date: 01/01/2003A spatial logic for concurrency (part I)
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 |