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

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