vault backup: 2025-04-14 10:27:25

.obsidian/workspace.json

@@ -28,15 +28,16 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Concurrent Systems/notes/12.md",
+                "file": "Concurrent Systems/notes/12 - bastaaaaaaaa.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "12"
+              "title": "12 - bastaaaaaaaa"
             }
           }
-        ]
+        ],
+        "currentTab": 1
       },
       {
         "id": "dd628773839aa478",
@@ -67,8 +68,7 @@
               "title": "class 11"
             }
           }
-        ],
+        ]
-        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -238,18 +238,18 @@
       "companion:Toggle completion": false
     }
   },
-  "active": "364a7591f14f033a",
+  "active": "2882ba3b76891dd0",
   "lastOpenFiles": [
+    "Concurrent Systems/notes/12 - bastaaaaaaaa.md",
     "Concurrent Systems/slides/class 12.pdf",
-    "Concurrent Systems/slides/class 11.pdf",
     "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
+    "Concurrent Systems/slides/class 11.pdf",
     "Pasted image 20250414093017.png",
     "Pasted image 20250414092202.png",
     "Pasted image 20250414091528.png",
     "Pasted image 20250414091521.png",
     "Pasted image 20250414084615.png",
     "Pasted image 20250414082824.png",
-    "Concurrent Systems/notes/12.md",
     "HCIW/notes/3 - Beacons.md",
     "HCIW/slides/Zooming interfaces.pdf",
     "HCIW/slides/Gestural interaction.pdf",

Concurrent Systems/notes/12 - bastaaaaaaaa.md

@@ -0,0 +1,18 @@
+- Up to now, we have considered non-deterministic processes
+- Two main features are missing for modeling a concurrent system:
+	- Simultaneous execution of processes
+	- Inter-process interaction
+
+- Solutions adopted:
+	- Parallel composition, with interleaving semantics
+	- Producer/consumer paradigm
+
+Given a set of names N (that denote events)
+- a (∈ N) denotes consumption of event a
+- $\bar{a}$ (for a ∈ N) denotes production of event a
+- a and $\bar{a}$ are complementary actions: they let two parallel processes synchronize on the event a
+
+When two processes synchronize, an external observer has no way of understanding what is happening in the system
+- synchronization is not observable from the outside; it produces a special ‘silent’ action, that we denote with τ
+
+The set of actions we shall consider is: $$