### Samenvatting

We introduce a general stochastic process operator $\frac{f}{d:~D} p(d)$ which behaves as the process $p(d)$ where the value $d$ is chosen from a data domain $D$ with a probability density determined by $f$. We require that $f$ is a measurable function from $D$ to $\mathbb{R}^{\geq 0}$ such that $\int_{d \in D} f(d)d\mu_D = 1$. For finite or countable $D$ the function $f$ represents the probability distribution directly. For bigger domains $f$ represents the density function.
We provide a natural operational semantics for a basic process algebra with this operator and define strong stochastic timed bisimulation and general stochastic bisimulation, which due to the potential uncountable nature of $D$ had to be generalised compared to existing notions. We introduce the notion bisimulation resilience, which restricts the use of the language, such that the bisimulation closure of measurable sets is again measurable, and argue that without such a notion stochastic process expressions make little sense. We prove that the bisimulation equivalences are congruences provided the language is bisimulation resilient.

Originele taal-2 | Engels |
---|---|

Plaats van productie | Eindhoven |

Uitgeverij | Technische Universiteit Eindhoven |

Aantal pagina's | 29 |

Status | Gepubliceerd - 2011 |

### Publicatie series

Naam | Computer science reports |
---|---|

Volume | 1105 |

ISSN van geprinte versie | 0926-4515 |

## Vingerafdruk Duik in de onderzoeksthema's van 'Semantics, bisimulation and congruence results for a general stochastic process operator'. Samen vormen ze een unieke vingerafdruk.

## Citeer dit

Groote, J. F., & Lanik, J. (2011).

*Semantics, bisimulation and congruence results for a general stochastic process operator*. (Computer science reports; Vol. 1105). Technische Universiteit Eindhoven.