Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge (2004)

by Copyright C , Willem Jan Fokkink , Willem Jan Fokkink , Luca Aceto , Luca Aceto , Luca Aceto , Wan Fokkink , Anna Ingólfsdóttir , Anna Ingólfsdóttir , Bas Luttik , Bas Luttik , Bas Luttik
Venue:Logical Methods in Computer Science
Citations:4 - 4 self