Finite equational bases for fragments of CCS with restriction and relabelling (2008)

by L Aceto, A Ingolfsdottir, B Luttik, P van Tilburg
Venue:Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008