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

vault backup: 2025-04-30 16:58:10

Browse source
This commit is contained in:
Marco Realacci 2025-04-30 16:58:10 +02:00
parent c73e1df4ec
commit 0088cfa802
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

@ -91,7 +91,7 @@ This is a family of relations:
- 3 pairs of the sixth form - 3 pairs of the sixth form
- 3 pairs of the seventh form - 3 pairs of the seventh form
Furthermore, we should also consider commutativity of parallel in pairs of the second, third, fourth, sixth, seventh and eighth form. Furthermore, **we should also consider commutativity** of parallel in pairs of the second, third, fourth, sixth, seventh and eighth form.
Thus, R is actually made up of 1+6+2+2+9+6+6+2 = 34 pairs. Thus, R is actually made up of 1+6+2+2+9+6+6+2 = 34 pairs.
*exercise: write down the LTSs* *exercise: write down the LTSs*