57 citations · 234 across the 31 of their papers we have counts for
1 paper · 1 filter
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir +1
This note shows that split-2 bisimulation equivalence (also known as timed equivalence) affords a finite equational axiomatization over the process algebra obtained by adding an au…