@misc{indiciae3138205aefd0,
  title = {Formalization of Automated Trading Systems in a Concurrent Linear Framework},
  author = {Iliano Cervesato and Sharjeel Khan and Giselle Reis and Dragiša Žunić},
  year = {2019},
  doi = {10.4204/eptcs.292.1},
  url = {https://arxiv.org/abs/1904.06844},
  note = {Source identifier: 1904.06844}
}