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

vault backup: 2025-04-28 08:52:04

Browse source
This commit is contained in:
Marco Realacci 2025-04-28 08:52:04 +02:00
parent 1103ed5d9f
commit 7918f22383
1 changed files with 10 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

9
Concurrent Systems/notes/13 - Weak Bisimilarity.md
View file

@ -51,3 +51,12 @@ hence it should be (P,b.0) ∈ S
Contradiction: P can perform a whereas b.0 cannot !! Contradiction: P can perform a whereas b.0 cannot !!
Similarly, P/R and Q/R are NOT weakly bisimilar Similarly, P/R and Q/R are NOT weakly bisimilar
### EXAMPLE: Factory
A factory can handle three kinds of works: easy (E), medium (M), difficult (D).
An activity of the factory consists in receiving in input a work (of any kind) and in producing in output a manifactured work.
The given specification of an activity is the following:
$$A\triangleq i_{E}.A'+i_{M}. A'+i_{D}.A'$$
$$A' \triangleq$$