DMCA

A finite equational base for CCS with left merge and communication merge

by Luca Aceto , Wan Fokkink , Anna Ingolfsdottir , Bas Luttik
Citations:13 - 9 self