Abstract Congruence Criteria for Weak Bisimilarity

Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens

Research output: Book/ReportOther reportResearch

Fingerprint

Dive into the research topics of 'Abstract Congruence Criteria for Weak Bisimilarity'. Together they form a unique fingerprint.

Engineering & Materials Science