Show that Byzantine agreement can be reached for three generals, with one of them faulty, if the generals digitally sign their messages. Give serially equivalent interleavings of T and U in Exercise...

Show that Byzantine agreement can be reached for three generals, with one of them faulty, if the generals digitally sign their messages.

Give serially equivalent interleavings of T and U in Exercise 16.2 with the following properties:

i) that are strict;

ii) that are not strict but could not produce cascading aborts;

iii) that could produce cascading aborts.