Publication
Detail
Publication date: 01/01/2004A noninterleaving model of concurrency based on transition systems with spatial structure
Journal | Electronic Notes in Theoretical Computer Science |
---|---|
Publisher | Universitat Politècnica de Catalunya |
Volume | 106 |
Journal | Electronic Notes in Theoretical Computer Science |
Publisher | Universitat Politècnica de Catalunya |
Volume | 106 |