Login / Signup

Formalization of Automated Trading Systems in a Concurrent Linear Framework.

Iliano CervesatoSharjeel KhanGiselle ReisDragisa Zunic
Published in: Linearity-TLLA@FLoC (2018)
Keyphrases
  • logical framework
  • main contribution
  • information systems
  • probabilistic model
  • theoretical framework
  • semi automated
  • trading systems