Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens

Browse the full MFCS paper archive.