A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure

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]

Abstract

Abstract is missing.