Other presentations

  1. A hierarchy of probabilistic system types

    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

Page 1 / 1

hosted by