Sequential composition of protocols without simultaneous termination (2002)

by Y Lindell, A Lysyanskaya, T Rabin
Venue:In 21st Annual ACM Symposium on Principles of Distributed Computing (PODC