DMCA

A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation

Cached

Download Links

by Matteo Baldoni , Cristina Baroglio , Federico Capuzzimati , Elisa Marengo , Viviana Patti