@Inproceedings{EPTCS292.1, author = {Cervesato, Iliano and Khan, Sharjeel and Reis, Giselle and \v{Z}uni\'c, Dragi\v{s}a}, year = {2019}, title = {Formalization of Automated Trading Systems in a Concurrent Linear Framework}, editor = {Ehrhard, Thomas and Fern\'andez, Maribel and Paiva, Valeria de and Tortora de Falco, Lorenzo }, booktitle = {{\rm Proceedings Joint International Workshop on} Linearity \& Trends in Linear Logic and Applications, {\rm Oxford, UK, 7-8 July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {292}, publisher = {Open Publishing Association}, pages = {1-14}, doi = {10.4204/EPTCS.292.1}, }