CCS with Hennessy's Merge has no Finite Equational Axiomatization

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir, B. Luttik

Publikation: Working paperForskning

OriginalsprogEngelsk
Sider37
StatusUdgivet - 2003

Citationsformater