TRAC: A Tool for Data-Aware Coordination - (with an Application to Smart Contracts).

Joo Afonso, Elvis Konjoh Selabi, Maurizio Murgia, Antnio Ravara, Emilio Tuosto

Browse the full Coordination paper archive.