DMCA

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

by Luca Aceto , Wan Fokkink , Anna Ingolfsdottir , Bas Luttik
Venue:Proceedings of ICALP’06 (part II), volume 4052 of Lecture Notes in Computer Science
Citations:13 - 9 self