Stochastic analysis of coordinating systems.

The selection/resolution model of coordinating concurrent processes (s/r model) may be interpreted stochastically when processes have semi-deterministic resolutions, thereby casting the significant nondeterminism in terms of selections (rather then resolutions). We show here how a system of such processes whose product forms a continuous-time model may be interpreted as a continuous- time Markov process whose stochastic parameters are defined in each component s/r model process. A component s/r model process in general may be interpreted only as a conditional stochastic process whose behavior is dependent upon the behavior of the other component processes. In each component, transition rates and branching probabilities are defined.