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

vault backup: 2025-04-30 19:08:22

Browse source
This commit is contained in:
Marco Realacci 2025-04-30 19:08:22 +02:00
parent 0d62ef32a2
commit f6bcd98780
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md
View file

@ -15,7 +15,9 @@ basically we can let the left or the right process evolve, leaving the other unc
![350](images/Pasted%20image%2020250429083129.png) ![350](images/Pasted%20image%2020250429083129.png)
- if a process does not perform any action, a restriction won't do anything - if a process does not perform any action, a restriction won't do anything
- ... - if the process does not do the restricted action, the restriction won't do anything
- what if we restrict on the actual action?
- well, then the process becomes 0
![350](images/Pasted%20image%2020250429083455.png) ![350](images/Pasted%20image%2020250429083455.png)