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

2 Citations (Scopus)
76 Downloads (Pure)
Original languageEnglish
Number of pages12
JournalLogical Methods in Computer Science
Volume1
Issue number1:3
DOIs
Publication statusPublished - 2005

Cite this