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

vault backup: 2025-04-29 09:59:04

Browse source
This commit is contained in:
Marco Realacci 2025-04-29 09:59:04 +02:00
parent 3a3639c6f7
commit d27faf5b5b
3 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.obsidian/workspace.json vendored
View file

@ -213,6 +213,7 @@
},
"active": "ec8d1a91f1f0cc7e",
"lastOpenFiles": [
"Pasted image 20250429092543.png",
"Pasted image 20250429092305.png",
"Pasted image 20250429092055.png",
"Pasted image 20250429091959.png",
@ -225,7 +226,6 @@
"Pasted image 20250429084358.png",
"Pasted image 20250429083535.png",
"Pasted image 20250429083455.png",
"Pasted image 20250429083129.png",
"Concurrent Systems/notes/13 - Weak Bisimilarity.md",
"Concurrent Systems/slides/class 13.pdf",
"Concurrent Systems/notes/12 - Calculus of communicating system.md",

2
Concurrent Systems/notes/14.md
View file

@ -60,4 +60,4 @@ By restricting *put* and *go*, and by using the second axiom for restriction, we
We now apply the third axiom for restriction to the three summands:
![](../../Pasted%20image%2020250429092055.png)
![](../../Pasted%20image%2020250429092305.png)
![](../../Pasted%20image%2020250429092543.png)

BIN
Pasted image 20250429092543.png Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 242 KiB