Nr. 1 (2004): RS-1 Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Artikler

• Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

  Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Bas Luttik

  • PDF (English)