Sequential composition of protocols without simultaneous termination.

Yehuda Lindell, Anna Lysyanskaya, Tal Rabin

Browse the full PODC paper archive.