A compositional merge of probabilistic processes in the alternating model

S. Andova; J.C.M. Baeten; P.R. D'Argenio; T.A.C. Willemse

A compositional merge of probabilistic processes in the alternating model

S. Andova, J.C.M. Baeten, P.R. D'Argenio, T.A.C. Willemse

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Abstract

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.

Original language	English
Title of host publication	Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)
Publication status	Published - 2006

Cite this

@inproceedings{5d2be6324672472ab86b03a4246d6c7b,

title = "A compositional merge of probabilistic processes in the alternating model",

abstract = "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.",

author = "S. Andova and J.C.M. Baeten and P.R. D'Argenio and T.A.C. Willemse",

year = "2006",

language = "English",

booktitle = "Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)",

}

TY - GEN

T1 - A compositional merge of probabilistic processes in the alternating model

AU - Andova, S.

AU - Baeten, J.C.M.

AU - D'Argenio, P.R.

AU - Willemse, T.A.C.

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

M3 - Conference contribution

BT - Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)

ER -

A compositional merge of probabilistic processes in the alternating model

Abstract

Fingerprint

Cite this