Bas Luttik: About divergence-preserving branching bisimilarity Posted on November 9, 2022November 10, 2022 by Anna Stramaglia Event Details Date: November 10, 2022 12:45 – 13:30 Venue: MF 6.132 Categories: Colloquium
