research
∙
05/25/2021
A linear parallel algorithm to compute bisimulation and relational coarsest partitions
The most efficient way to calculate strong bisimilarity is by calculatio...
share
research
∙
09/15/2020
Term Rewriting on GPUs
We present a way to implement term rewriting on a GPU. We do this by let...
research
∙
09/24/2019
A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
Branching bisimilarity is a behavioural equivalence relation on labelled...
research
∙
12/27/2017
On the Scalability of the GPUexplore Explicit-State Model Checker
The use of graphics processors (GPUs) is a promising approach to speed u...
research
∙
12/27/2017