Publication
Detail
Publication date: 01/08/2008Spatial-Behavioral Types for Concurrency and Resource Control in Distributed Systems
| URL | http://dx.doi.org/10.1016/j.tcs.2008.04.030 |
|---|---|
| Journal | Theoretical Computer Science |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 402 |
| Number | 2-3 |
| URL | http://dx.doi.org/10.1016/j.tcs.2008.04.030 |
| Journal | Theoretical Computer Science |
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 402 |
| Number | 2-3 |