Login / Signup
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure.
Luís Monteiro
Published in:
CMCS (2004)
Keyphrases
</>
spatial structure
dynamic programming
probabilistic model
three dimensional
distributed systems