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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.