Rezultati

eNauka >  Results >  Formal verification of python software transactional memory serializability based on the push/pull semantic model
Title: Formal verification of python software transactional memory serializability based on the push/pull semantic model
Authors: Popovic, Miroslav  ; Popovic, Marko; Gilezan, Silvia  ; Kordić, Branislav  
Issue Date: 2019
Publication: ACM International Conference Proceeding Series
Publisher: Association for Computing Machinery
Type: Conference Paper
ISBN: 978-1-450-37636-5 Search Idenfier
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
Project: 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
Metadata source: Migracija
M-category: 
Mp. category will be shown later

3
SCOPUSTM
1
OpenCitations
Alt metrika
Dimensions
Unpaywall

Google ScholarTM

Rezultati na eNauka su zaštićeni autorskim pravima i sva prava su zadržana, osim ako nije drugačije naznačeno.