Luís Monteiro. A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. Electronic Notes in Theoretical Computer Science, 106:261-277, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.