Publication
Detail
Publication date: 01/01/2004A Spatial Logic for Concurrency – II
| URL | http://dx.doi.org/10.1016/j.tcs.2003.10.041 |
|---|---|
| Journal | Theoretical Computer Science |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 322 |
| Number | 3 |
| URL | http://dx.doi.org/10.1016/j.tcs.2003.10.041 |
| Journal | Theoretical Computer Science |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 322 |
| Number | 3 |