Results
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 |
Items in eNauka are protected by copyright, with all rights reserved, unless otherwise indicated.