The solution that the group 1 has proposed is good, but we think that it should be more precise.Infact in our opinion the sentence: "Now we can substitute P and α in the CON rule" is not clear.It is better to say what do you have to substitute the terms. Infact P (it must be P') must be changed with A[f] and α with a1.
In our opinion the execise is correct and we don't nothing to complain.Infact the dimostrations they shown are correct,even if they have not making the bisimulations.
Group 5 do not show that there is a strong bisimulation between the two rules, since they not build any relation R of bisimularity
We think that the execise of the group 6 is correct because they have found the relation R using all of the 3 parallel composition rules. Indeed the solution is correct and well formed.
Post a Comment