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/11/2020
Decompositional Minimisation of Monolithic Processes
Compositional minimisation can be an effective technique to reduce the s...
research
∙
11/27/2020
Adaptive Non-linear Pattern Matching Automata
Efficient pattern matching is fundamental for practical term rewrite eng...
research
∙
02/26/2019