A finite equational base for CCS with left merge and communication merge (2006)

Cached

Download Links

by Anna Ingólfsdóttir , Copyright C , Willem Jan Fokkink , Willem Jan Fokkink , Luca Aceto , Luca Aceto , Luca Aceto , Wan Fokkink , Anna Ingolfsdottir , Bas Luttik , Bas Luttik , Bas Luttik
Venue:In Bugliesi et al
Citations:10 - 5 self