Concurrent Versions System | Computation | concurrent resolution | Interdisciplinary Center for Neural Computation | Indeterminacy in computation | Human-based computation game | Concurrent Resolution | Concurrent estate | computation | Approximate Bayesian Computation | Approximate Bayesian computation | Adiabatic quantum computation | Actor-Based Concurrent Language |
Indeterminacy in concurrent computation is concerned with the effects of indeterminacy in concurrent computation.
While the trace monoid had been studied by Pierre Cartier and Dominique Foata for its combinatorics in the 1960s, trace theory was first formulated by Antoni Mazurkiewicz in the 1970s, in an attempt to evade some of the problems in the theory of concurrent computation, including the problems of interleaving and non-deterministic choice with regards to refinement in process calculi.