Joint work with Erik de Vink (TU/e).
Many approaches in standard concurrency theory are commonly based on labelled transition systems or some minor variant thereof. When probabilities are introduced however, many different system types emerge: some authors for instance consider fully probabilistic systems, while others use systems which incorporate …
read more