From a5d8dd103e56ff55261f2d4e0bce1f889b622911 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Mon, 14 Apr 2025 09:39:56 +0200 Subject: [PATCH] vault backup: 2025-04-14 09:39:56 --- Concurrent Systems/notes/11 - LTSs and Bisimulation.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md index a04f1fc..64ed4d2 100644 --- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md +++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md @@ -135,3 +135,4 @@ It is also possible the inverse translation and then the two formalisms do coinc ![](../../Pasted%20image%2020250414093017.png) +examples \ No newline at end of file