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

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

@@ -8,9 +8,9 @@
 	- 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
+- $a (\in N)$ denotes consumption of event a
+- $\bar{a}$ (for $a \in 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 τ