A Compositional Merge of Probabilistic Processes in the Alternating Model

SUZANA ANDOVA; JOS C.M. BAETEN; PEDRO R. D'ARGENIO; TIM A.C. WILLEMSE

Reykjavik, Islandia

Workshop; 18th Nordic Workshop on Programming Theory (NWPT’06); 2006

We investigate concurrency of probabilistic systems in the alternating model. So far two different merge operators that capture two different views how concurrent probabilistic processes may interleave have been proposed. We show that neither of these operators is compositional with respect to weak probabilistic bisimulation for the alternating model. Currently, we work on defining a variant of a merge operator that will preserve weak bisimulation. We present the basic points of our research in this presentation.