Luca Aceto;Anna Ingólfsdóttir
-;-
The equational theory of prebisimilarity over basic CCS with divergence
Information Processing Letters