A generalized commitment machine for 2cl protocols and its implementation (2012)

by M Baldoni, C Baroglio, F Capuzzimati, E Marengo, V Patti
Venue:In