From cb581e5eac1f927432dcecc018abf5a22c4b3f5a Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Fri, 2 May 2025 14:56:13 +0200 Subject: [PATCH] vault backup: 2025-05-02 14:56:13 --- Concurrent Systems/notes/11 - LTSs and Bisimulation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md index d89ddd6..a4765d5 100644 --- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md +++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md @@ -134,7 +134,7 @@ From the syntax to the LTS We have shown how it is possible, starting from an LT It is also possible the inverse translation and then the two formalisms do coincide; the rules that have to be used in this translation are: -$$\forall_{}$$ + ![](images/Pasted%20image%2020250414093017.png) #### Examples