articles
Detail
Publication date: 1 de June, 2021Publication Spatial-Behavioral Types for Concurrency and Resource Control in Distributed Systems – Journal Theoretical Computer Science
| Journal | Theoretical Computer Science |
|---|---|
| Publisher | Universitat Politècnica de Catalunya |
| Volume | 402 |
| Number | 2-3 |
| Pub. Date | 01/08/2008 |