marcorealacci/master-degree-notes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

vault backup: 2025-04-15 08:55:18

Browse source
This commit is contained in:
Marco Realacci 2025-04-15 08:55:18 +02:00
parent d216fbf5aa
commit 9c4f8bc7aa
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Concurrent Systems/notes/13 - CCS cose varie.md
View file

@ -37,7 +37,7 @@ NO: the problem is that, for example:
- BUT (P,P) in general does NOT belong to S! - BUT (P,P) in general does NOT belong to S!
So we can try with $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ \{(P,P)\}$$ So we can try with $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ \{(P,P)\}$$
But it is not yet a bisimulation. But it is not yet a bisimulation.
P –β–> P’ (challenge and reply), but we don't have (P', P') in S. P –β–> P’ (challenge and reply), but we don't have (P', P') in S.
So let's try with: $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ Id$$ So let's try with: $$S = \{ (α.P+α.P+M , α.P+M) \} ∪ Id$$