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

vault backup: 2025-04-14 18:21:53

Browse source
This commit is contained in:
Marco Realacci 2025-04-14 18:21:53 +02:00
parent bcc4cc552a
commit 3c146e6cef
2 changed files with 1 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

3
.obsidian/workspace.json vendored
View file

@ -174,8 +174,7 @@
} }
], ],
"direction": "horizontal", "direction": "horizontal",
"width": 364.5, "width": 364.5
"collapsed": true
}, },
"left-ribbon": { "left-ribbon": {
"hiddenItems": { "hiddenItems": {

11
Concurrent Systems/notes/12 - Calculus of communicating system.md
View file

@ -81,17 +81,6 @@ $$\frac{P_1 \xrightarrow{a} P_1' \quad P_2 \xrightarrow{\bar{a}} P_2'}{P_1 \mid
![](images/Pasted%20image%2020250414104010.png) ![](images/Pasted%20image%2020250414104010.png)
fino alla 7 compresa...
Sure Marco! Let's go step-by-step through the **CCS process transition example** in the figure, using:
- **Markdown for explanations**
- **LaTeX in Obsidian format** (with `$$...$$`) for math
---
#### Example #### Example
![](images/Pasted%20image%2020250414164549.png) ![](images/Pasted%20image%2020250414164549.png)