Formalization of Automated Trading Systems in a Concurrent Linear Framework

Results

Naziv:	Formalization of Automated Trading Systems in a Concurrent Linear Framework
Autori:	Cervesato, Iliano; Khan, Sharjeel; Reis, Giselle; Žunić, Dragiša
Godina:	2019
Publikacija:	Electronic Proceedings in Theoretical Computer Science
ISSN:	2075-2180 Pretraži identifikator
Tip rezultata:	Konferencijski rad
Kolacija:	vol. 292 str. 1-14
DOI:	10.4204/eptcs.292.1
WoS-ID:	000465440500003
Scopus-ID:	2-s2.0-85065790870
URI:	https://enauka.gov.rs/handle/123456789/296504
Izvor metapodataka:	Migrirano iz RIS podataka
M-kategorija:	Mp kategorija će biti prikazana naknadno.

3
SCOPUS^TM

1
OpenCitations

5
WEB OF SCIENCE^TM

Altmetric

Dimensions

Unpaywall

Google Scholar^TM