2 citations · 4 across the 6 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020★ 1 cited
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…
cs.LO2020★ 1 cited
Adaptive Non-linear Pattern Matching Automata
Rick Erkens, Maurice Laveaux
Efficient pattern matching is fundamental for practical term rewrite engines. By preprocessing the given patterns into a finite deterministic automaton the matching patterns can be…