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

vault backup: 2025-04-14 08:49:56

Browse source
This commit is contained in:
Marco Realacci 2025-04-14 08:49:56 +02:00
parent 493d36cf07
commit 7f4d6e4ef7
3 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.obsidian/workspace.json vendored
View file

@ -242,6 +242,7 @@
"lastOpenFiles": [ "lastOpenFiles": [
"Concurrent Systems/slides/class 11.pdf", "Concurrent Systems/slides/class 11.pdf",
"Concurrent Systems/notes/11 - LTSs and Bisimulation.md", "Concurrent Systems/notes/11 - LTSs and Bisimulation.md",
"Pasted image 20250414084615.png",
"Pasted image 20250414082824.png", "Pasted image 20250414082824.png",
"Concurrent Systems/notes/12.md", "Concurrent Systems/notes/12.md",
"Concurrent Systems/slides/class 12.pdf", "Concurrent Systems/slides/class 12.pdf",
@ -284,7 +285,6 @@
"Foundation of data science/class 9.pdf", "Foundation of data science/class 9.pdf",
"Concurrent Systems/slides/class 10.pdf", "Concurrent Systems/slides/class 10.pdf",
"Concurrent Systems/ignore this folder", "Concurrent Systems/ignore this folder",
"Concurrent Systems/notes/images/Pasted image 20250401083747.png",
"Senza nome.canvas" "Senza nome.canvas"
] ]
} }

6
Concurrent Systems/notes/11 - LTSs and Bisimulation.md
View file

@ -61,3 +61,9 @@ If S contained one among (p1,q1) or (p1,q2), then it would not be a simulation:
p0 is simulated by q0: $$S = {(p0, q0), (p1, q2), (p2, q3)}$$ p0 is simulated by q0: $$S = {(p0, q0), (p1, q2), (p2, q3)}$$
q0 is simulated by p0: $$S′ ={(q0,p0),(q1,p1),(q2,p1),(q3,p2)}$$ q0 is simulated by p0: $$S′ ={(q0,p0),(q1,p1),(q2,p1),(q3,p2)}$$
However, p0 and q0 are not bisimilar: the transition q0 -> a -> q1 is not bisimulable by any transition from p0 (ndeed, p0 –a–> p1 does not suffice, because p1 can perform a b and so cannot be bisimilar to q1). However, p0 and q0 are not bisimilar: the transition q0 -> a -> q1 is not bisimulable by any transition from p0 (ndeed, p0 –a–> p1 does not suffice, because p1 can perform a b and so cannot be bisimilar to q1).
#### Bisimulation is NOT isomorfism
![](../../Pasted%20image%2020250414084615.png)
$S = \{(p0,q0), (p1,q1), (p2,q1), (p0,q2)\}$
$S^{−1} = \{(q0,p0), (q1,p1), (q1,p2), (q2,p0)\}$

BIN
Pasted image 20250414084615.png Normal file
View file

Binary file not shown.
Side by side

After

Width:  |  Height:  |  Size: 88 KiB