Formal verification of python software transactional memory serializability based on the push/pull semantic model

Results

Naziv:	Formal verification of python software transactional memory serializability based on the push/pull semantic model
Autori:	Popovic, Miroslav ; Popovic, Marko; Gilezan, Silvia ; Kordić, Branislav
Godina:	2019
Publikacija:	ACM International Conference Proceeding Series
Izdavač:	Association for Computing Machinery
Tip rezultata:	Konferencijski rad
ISBN:	978-1-450-37636-5 Pretraži identifikator
DOI:	10.1145/3352700.3352706
WoS-ID:	000525376600006
Scopus-ID:	2-s2.0-85075866047
URI:	https://enauka.gov.rs/handle/123456789/249963 http://researchrepository.mi.sanu.ac.rs/handle/123456789/2574
Projekat:	Development of embedded systems with connected services and digital technology Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education Representations of logical structures and formal languages and their application in computing
Izvor metapodataka:	Migracija
M-kategorija:	Mp kategorija će biti prikazana naknadno.

3
SCOPUS^TM

1
OpenCitations

Altmetric

Dimensions

Unpaywall

Google Scholar^TM