research
∙
07/14/2023
Real Equation Systems with Alternating Fixed-points (full version with proofs)
We introduce the notion of a Real Equation System (RES), which lifts Boo...
share
research
∙
10/12/2022
On the Preservation of Properties when Changing Communication Models
In a system of processes that communicate asynchronously by means of FIF...
research
∙
01/24/2022
On-The-Fly Solving for Symbolic Parity Games
Parity games can be used to represent many different kinds of decision p...
research
∙
10/01/2021
Decomposing Monolithic Processes in a Process Algebra with Multi-actions
A monolithic process is a single recursive equation with data parameters...
research
∙
12/31/2020
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
One of the most popular state-space reduction techniques for model check...
research
∙
12/11/2020
Decompositional Minimisation of Monolithic Processes
Compositional minimisation can be an effective technique to reduce the s...
research
∙
08/31/2020
A process algebra with global variables
In standard process algebra, parallel components do not share a common s...
research
∙
10/22/2019
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
In model checking, partial-order reduction (POR) is an effective techniq...
research
∙
02/26/2019
Correct and Efficient Antichain Algorithms for Refinement Checking
Refinement checking plays an important role in system verification. This...
research
∙
09/10/2018