@misc{indiciaee72257394ca9,
  title = {TRAC: a tool for data-aware coordination (with an application to smart contracts)},
  author = {Joao Afonso and Elvis Konjoh Selabi and Maurizio Murgia and Antonio Ravara and Emilio Tuosto},
  year = {2024},
  url = {https://arxiv.org/abs/2404.19523},
  note = {Source identifier: 2404.19523}
}