Promised messages: recovering from inconsistent global states.

Franoise Baude, Denis Caromel, Christian Delb, Ludovic Henrio

Browse the full PPoPP paper archive.