The proposed solution is here. The authors and I look forward to receiving comments from group 2 by Friday, 7 November, at 16:00 CET. Of course, you are all encouraged to comment on the solution!
Group 2: We think that the solution proposed by group 4 is correct. In summary, we think that, like show by the group 4, we need to apply the same considerations made from the demonstration of the theorem 3.1(2) for each of Ri bisimulation.
1 comment:
Group 2:
We think that the solution proposed by group 4 is correct.
In summary, we think that, like show by the group 4, we need to apply the same considerations made from
the demonstration of the theorem 3.1(2) for each of Ri bisimulation.
Post a Comment