Fingerprint Dive into the research topics of 'Abstract Congruence Criteria for Weak Bisimilarity'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Abstract Congruence Criteria for Weak Bisimilarity
Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens
Research output: Book/Report › Other report