The equational theory of prebisimilarity over basic CCS with divergence

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]

Abstract

Abstract is missing.