Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge

L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, B. Luttik

Research output: Contribution to JournalArticleAcademicpeer-review

134 Downloads (Pure)
Original languageEnglish
JournalLogical Methods in Computer Science
Volume1
Issue number1
DOIs
Publication statusPublished - 2005

Bibliographical note

DBLP:journals/lmcs/AcetoFIL05

Cite this