Split-2 bisimilarity has a finite axiomatization over CCS with hennessy’s merge. (2005)

by L Aceto, W J Fokkink, A Ingolfsdottir, B Luttik
Venue:LMCS,