1 citations · 1 across the 1 of their papers we have counts for
1 paper
Luca Aceto, Valentina Castiglioni, Wan Fokkink +2
Bergstra and Klop have shown that bisimilarity has a finite equational axiomatisation over ACP/CCS extended with the binary left and communication merge operators. Moller proved th…