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


Download Links

by Luca Aceto , Anna Ingólfsdóttir , Bas Luttik , Paul 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
Citations:3 - 2 self