Sequential composition of protocols without simultaneous termination (2002)

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