A Complete Axiomatisation for Probabilistic Trace Equivalence

by Ferry Timmers, Jan Friso Groote
Published 2020-08-01

Distribution of Behaviour into Parallel Communicating Subsystems

by Omar al Duhaiby, Jan Friso Groote
Published 2019-08-01

Modelling and Verification of a Cluster-tree Formation Protocol Implementation for the IEEE 802.15.4 TSCH MAC Operation Mode

by Mahmoud Talebi, Jan Friso Groote, Conrad Dandelski
Published 2017-03-01

An Efficient Algorithm to Determine Probabilistic Bisimulation

by Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink
Published 2018-09-01