27 citations · 152 across the 31 of their papers we have counts for
4 papers · 1 filter
Decompositional Minimisation of Monolithic Processes
Maurice Laveaux, Tim A. C. Willemse
Compositional minimisation can be an effective technique to reduce the state space explosion problem. This technique considers a parallel composition of several processes. In its s…
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
Thomas Neele, Antti Valmari, Tim A. C. Willemse
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very ve…
A process algebra with global variables
Mark Bouwman, Bas Luttik, Wouter Schols +1
In standard process algebra, parallel components do not share a common state and communicate through synchronisation. The advantage of this type of communication is that it facilit…
A symmetric protocol to establish service level agreements
Jan Friso Groote, Tim A. C. Willemse
We present a symmetrical protocol to repeatedly negotiate a desired service level between two parties, where the service levels are taken from some totally ordered finite domain. T…