vault backup: 2025-04-14 15:45:00

.obsidian/workspace.json

@@ -120,12 +120,12 @@
               "title": "Segnalibri"
             }
           }
-        ],
-        "currentTab": 1
+        ]
       }
     ],
     "direction": "horizontal",
-    "width": 309.5
+    "width": 309.5,
+    "collapsed": true
   },
   "right": {
     "id": "bc4b945ded1926e3",

Concurrent Systems/notes/12 - CCS (che non so cosa voglia dire).md

@@ -14,8 +14,7 @@ Given a set of names N (that denote events)
 
 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: ![150](images/Pasted%20image%2020250414102733.png)
+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)