marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-05-02 14:56:13

Browse source
This commit is contained in:
Marco Realacci 2025-05-02 14:56:13 +02:00
parent 6600b4a89b
commit cb581e5eac
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Concurrent Systems/notes/11 - LTSs and Bisimulation.md
View file

@ -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: 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) ![](images/Pasted%20image%2020250414093017.png)
#### Examples #### Examples