A Finite Equational Base for CCS with Left Merge and Communication Merge

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/11787006_42 ◽

2006 ◽

pp. 492-503 ◽

Cited By ~ 2

Author(s):

Luca Aceto ◽

Wan Fokkink ◽

Anna Ingolfsdottir ◽

Bas Luttik

Download Full-text