From f6bcd98780491e08c550150dcd81a978d82436b1 Mon Sep 17 00:00:00 2001 From: Marco Realacci Date: Wed, 30 Apr 2025 19:08:22 +0200 Subject: [PATCH] vault backup: 2025-04-30 19:08:22 --- .../notes/14 Checking bisimilarity, an inference system.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md index 20dab58..7e274b4 100644 --- a/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md +++ b/Concurrent Systems/notes/14 Checking bisimilarity, an inference system.md @@ -15,7 +15,9 @@ basically we can let the left or the right process evolve, leaving the other unc ![350](images/Pasted%20image%2020250429083129.png) - if a process does not perform any action, a restriction won't do anything -- ... +- if the process does not do the restricted action, the restriction won't do anything + - what if we restrict on the actual action? + - well, then the process becomes 0 ![350](images/Pasted%20image%2020250429083455.png)