Re: [moca] definitions of race conditions?

[martinb@xxxxxxxxxxxxxx]

> One counterargument to the defn of race condition as failing to
> satisfy diamond is that it equates nondeterminism caused by
> parallelism with nondeterminism generated by stochastic choice: this
> is the standard argument for non-interleaving models, so if you're
> worried about this you'd need to replay the defn in your favourite
> true concurrency model.

i think it is pushing things slightly to say that this is *the*
standard argument. but it suggests some questions: what is stochastic
choice in this context (i mean, can it be described just in the language of
reduction systems for example? and is stochastic choice enough to express
concurrency?

martin

  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html