@InProceedings{ tsankov.ea:constructing:2011, author = {Petar Tsankov and David Basin and Mohammad Torabi Dashti}, booktitle = {OPODIS 2011}, language = {USenglish}, publisher = {Springer}, title = {Constructing mid-points for two-party asynchronous protocols}, year = 2011, user = {torabidm} }