Login / Signup
Formalization of Automated Trading Systems in a Concurrent Linear Framework.
Iliano Cervesato
Sharjeel Khan
Giselle Reis
Dragisa Zunic
Published in:
Linearity-TLLA@FLoC (2018)
Keyphrases
</>
logical framework
main contribution
information systems
probabilistic model
theoretical framework
semi automated
trading systems