Wednesday, November 5, 2008

Solution from Group 4

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!

1 comment:

stefano.ficcadenti said...

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.