diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 03206f0..ea5ae80 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -6,7 +6,6 @@ { "id": "ceb8ca67f2b32f40", "type": "tabs", - "dimension": 55.587392550143264, "children": [ { "id": "fbeaa35cc5a8abf1", @@ -14,12 +13,12 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md", + "file": "Concurrent Systems/notes/12 - Calculus of communicating system.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "12 - CCS (che non so cosa voglia dire)" + "title": "12 - Calculus of communicating system" } }, { @@ -28,47 +27,16 @@ "state": { "type": "markdown", "state": { - "file": "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md", + "file": "Concurrent Systems/notes/12 - Calculus of communicating system.md", "mode": "source", "source": false }, "icon": "lucide-file", - "title": "12 - CCS (che non so cosa voglia dire)" + "title": "12 - Calculus of communicating system" } } ], "currentTab": 1 - }, - { - "id": "dd628773839aa478", - "type": "tabs", - "dimension": 44.412607449856736, - "children": [ - { - "id": "2882ba3b76891dd0", - "type": "leaf", - "state": { - "type": "pdf", - "state": { - "file": "Concurrent Systems/slides/class 12.pdf" - }, - "icon": "lucide-file-text", - "title": "class 12" - } - }, - { - "id": "364a7591f14f033a", - "type": "leaf", - "state": { - "type": "pdf", - "state": { - "file": "Concurrent Systems/slides/class 11.pdf" - }, - "icon": "lucide-file-text", - "title": "class 11" - } - } - ] } ], "direction": "vertical" @@ -240,12 +208,12 @@ }, "active": "84845736e00d5c98", "lastOpenFiles": [ - "Pasted image 20250414181443.png", + "Concurrent Systems/notes/images/Pasted image 20250414164549.png", + "Concurrent Systems/notes/12 - Calculus of communicating system.md", + "Concurrent Systems/notes/images/Pasted image 20250414181443.png", "Concurrent Systems/slides/class 12.pdf", - "Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md", "Concurrent Systems/slides/class 11.pdf", - "Pasted image 20250414173011.png", - "Pasted image 20250414164549.png", + "Concurrent Systems/notes/images/Pasted image 20250414173011.png", "Concurrent Systems/notes/images/Pasted image 20250414082824.png", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/images/Pasted image 20250414152300.png", @@ -254,7 +222,6 @@ "Concurrent Systems/notes/images/Pasted image 20250414152221.png", "Concurrent Systems/notes/images/Pasted image 20250414104010.png", "Concurrent Systems/notes/images/Pasted image 20250414103800.png", - "Concurrent Systems/notes/images/Pasted image 20250414102733.png", "HCIW/notes/3 - Beacons.md", "HCIW/slides/Zooming interfaces.pdf", "HCIW/slides/Gestural interaction.pdf", diff --git a/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md b/Concurrent Systems/notes/12 - Calculus of communicating system.md similarity index 96% rename from Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md rename to Concurrent Systems/notes/12 - Calculus of communicating system.md index 09390d1..40b0592 100644 --- a/Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md +++ b/Concurrent Systems/notes/12 - Calculus of communicating system.md @@ -7,6 +7,9 @@ - Parallel composition, with interleaving semantics - Producer/consumer paradigm +>[!note] Suggested reading +>https://en.wikipedia.org/wiki/Calculus_of_communicating_system + Given a set of names N (that denote events) - $a (\in N)$ denotes consumption of event a - $\bar{a}$ (for $a \in N$) denotes production of event a @@ -19,7 +22,6 @@ The set of actions we shall consider is: $N \cup \bar{N} \cup \{\tau\}$ It is also useful to force some processes of the system to synchronize between them (without the possibility of showing to the outside some actions) The restriction operator P\a restricts the scope of name a to process P (a is visible only from within P) -https://en.wikipedia.org/wiki/Calculus_of_communicating_system This is similar to local variables in a procedure of an imperative program @@ -91,7 +93,7 @@ Sure Marco! Let's go step-by-step through the **CCS process transition example** --- #### Example -![](../../Pasted%20image%2020250414164549.png) +![](images/Pasted%20image%2020250414164549.png) #### Example, but explained ##### 📘 Definitions @@ -157,7 +159,7 @@ The usefulness of the parallel is two-fold: ### Restriction What if we restrict on b? -![](../../Pasted%20image%2020250414173011.png) +![](images/Pasted%20image%2020250414173011.png) ##### Example 1: since $a$ is not in $\{b, \bar{b}\}$, we will see the transitions: @@ -184,4 +186,4 @@ This time I won't split it in separate pieces since I don't feel like doing it, - Notice that the τ, even if it has been generated by synchronizing on b, it is still present after applying the restriction on b! - the purpose of the τ is exactly to signal that a synchronization has happened but to hide the event on which the involved processed synchronized. -- In general, it is possible that whole states disappear upon restriction of some names: this would be the case, e.g., if we consider the LTS arising from $(A’ | B)\setminus a,b$:![](../../Pasted%20image%2020250414181443.png) \ No newline at end of file +- In general, it is possible that whole states disappear upon restriction of some names: this would be the case, e.g., if we consider the LTS arising from $(A’ | B)\setminus a,b$ (restricting on both a and b):![](images/Pasted%20image%2020250414181443.png) \ No newline at end of file diff --git a/Pasted image 20250414164549.png b/Concurrent Systems/notes/images/Pasted image 20250414164549.png similarity index 100% rename from Pasted image 20250414164549.png rename to Concurrent Systems/notes/images/Pasted image 20250414164549.png diff --git a/Pasted image 20250414173011.png b/Concurrent Systems/notes/images/Pasted image 20250414173011.png similarity index 100% rename from Pasted image 20250414173011.png rename to Concurrent Systems/notes/images/Pasted image 20250414173011.png diff --git a/Pasted image 20250414181443.png b/Concurrent Systems/notes/images/Pasted image 20250414181443.png similarity index 100% rename from Pasted image 20250414181443.png rename to Concurrent Systems/notes/images/Pasted image 20250414181443.png