Fingerprint
Dive into the research topics of 'CCS with Hennessy's merge has no finite-equational axiomatization'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
CCS with Hennessy's merge has no finite-equational axiomatization
L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, B. Luttik
Research output: Contribution to Journal › Article › Academic › peer-review