57 citations · 253 across the 38 of their papers we have counts for
1 paper · 2 filters
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…