7 citations · 8 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2020★ 7 cited
Up-to Techniques for Branching Bisimilarity
Rick Erkens, Jurriaan Rot, Bas Luttik
Ever since the introduction of behavioral equivalences on processes one has been searching for efficient proof techniques that accompany those equivalences. Both strong bisimilarit…