Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir, Bas Luttik. The equational theory of prebisimilarity over basic CCS with divergence. Inf. Process. Lett., 108(5):284-289, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.