The Equational Theory of Prebisimilarity over Basic CCS with Divergence

L. Aceto, S. Capobianco, A. Ingolfsdottir, B. Luttik

Research output: Contribution to JournalArticleAcademicpeer-review

Fingerprint

Dive into the research topics of 'The Equational Theory of Prebisimilarity over Basic CCS with Divergence'. Together they form a unique fingerprint.

Mathematics