Rezultati

eNauka >  Results >  Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP
Title: Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP
Authors: Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V  
Issue Date: 2019
Publication: 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019)
Type: Conference Paper
ISBN: 978-1-7281-3342-3 Search Idenfier
Collation: str. 240-247
DOI : 10.1109/TASE.2019.00039
WoS-ID: 000535358000032
URI: https://enauka.gov.rs/handle/123456789/806120
Project: National Natural Science Foundation of China [61872145]
Shanghai Collaborative Innovation Center of Trustworthy Software for Internet of Things [ZF1213]
Metadata source: (Preuzeto iz Nasi u WoS)
M-category: 
Mp. category will be shown later

3
WEB OF SCIENCETM
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.