PPT Slide

Now we have proven that:

• The model t is strongly connected:

• The only relevant run through t is non-simultaneous.

• Common knowledge in non-simultaneous runs is constant.

Þ Common knowledge is constant in t.

C constant int

Previous slide

Next slide

Back to first slide

View graphic version