vault backup: 2025-04-15 09:15:18

Concurrent Systems/notes/13 - CCS cose varie.md

@@ -61,4 +61,7 @@ where M denotes a sum.
 An equivalence relation $R$ is a congruence if and only if
 $$\forall (P, Q) \in R, \forall C.(C[P], C[Q]) \in R$$
 Is bisimilarity a congruence? Yes.
-$$$$
+**Theorem:**
+$$if \space P ∼ Q \space then \space \forall C.C[P] ∼ C[Q]$$
+
+Proof on the slides.