From 6600b4a89bad458d992554aadbe19da779cf08b8 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Fri, 2 May 2025 14:51:13 +0200 Subject: [PATCH] vault backup: 2025-05-02 14:51:13 --- Concurrent Systems/notes/11 - LTSs and Bisimulation.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md index cfe5342..d89ddd6 100644 --- a/Concurrent Systems/notes/11 - LTSs and Bisimulation.md +++ b/Concurrent Systems/notes/11 - LTSs and Bisimulation.md @@ -133,6 +133,9 @@ We shall usually omit tail occurrences of ‘.0’ and, for example, simply writ From the syntax to the LTS We have shown how it is possible, starting from an LTS, to generate a corresponding process 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 ![](images/Pasted%20image%2020250414152221.png)