Authors: GILMORE S HILLSTON J HOLTON R RETTELBACH M

Citation: S. Gilmore et al., SPECIFICATIONS IN STOCHASTIC-PROCESS ALGEBRA FOR A ROBOT CONTROL PROBLEM, International Journal of Production Research, 34(4), 1996, pp. 1065-1080

Authors: HERMANNS H RETTELBACH M WEISS T

Citation: H. Hermanns et al., FORMAL CHARACTERIZATION OF IMMEDIATE ACTIONS IN SPA WITH NONDETERMINISTIC BRANCHING, Computer journal, 38(7), 1995, pp. 530-541

Authors: RETTELBACH M

Citation: M. Rettelbach, PROBABILISTIC BRANCHING IN MARKOVIAN PROCESS ALGEBRAS, Computer journal, 38(7), 1995, pp. 590-599