DMCA

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

by Luca Aceto , Wan Fokkink , Anna Ingolfsdottir , Bas Luttik
Citations:5 - 5 self