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

João AfonsoElvis Konjoh SelabiMaurizio MurgiaAntónio RavaraEmilio Tuosto
Published in: COORDINATION (2024)
Keyphrases