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

vault backup: 2025-04-30 17:33:22

Browse source
This commit is contained in:
Marco Realacci 2025-04-30 17:33:22 +02:00
parent 61b8f36555
commit fd435b0539
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 - Weak Bisimilarity.md
View file

@ -120,5 +120,5 @@ This will generate the LTS:
Is the implementation correct w.r.t. the given specification? Yes. Is the implementation correct w.r.t. the given specification? Yes.
Weak bisimilarity $L \approx L_{i}$ Weak bisimilarity $L \approx L_{i}$
$$R \triangleq \{ (L, L_{i})\space|\space 0<i\leq n\} \space \cup \space \{\bar{p_{i}}.L,L'_{i} \space | \space 0<i<n \}$$ $$R \triangleq \{ (L, L_{i})\space|\space 0<i\leq n\} \space \cup \space \{\bar{p_{i}}.L,L'_{i} \space | \space 0<i<n \}$$
is a bisimulation, trust me bro. is a weak bisimulation, trust me bro.