共 50 条
- [21] Specification and Formal Verification of Atomic Concurrent Real-Time Transactions [J]. 2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 104 - 114
- [22] Specification and automated verification of atomic concurrent real-time transactions [J]. Software and Systems Modeling, 2021, 20 : 557 - 589
- [23] Concurrency control protocol for scheduling mixed real-time transactions [J]. Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2005, 42 (01): : 18 - 29
- [24] Scheduling transactions in mobile distributed real-time database systems [J]. Journal of Central South University of Technology, 2008, 15 : 545 - 551
- [25] Scheduling Real-Time Nested Transactions in Mobile Broadcast Environments [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 1053 - 1058
- [26] Scheduling transactions in mobile distributed real-time database systems [J]. JOURNAL OF CENTRAL SOUTH UNIVERSITY OF TECHNOLOGY, 2008, 15 (04): : 545 - 551
- [28] DISTRIBUTED REAL-TIME NESTED TRANSACTIONS [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 27 (02) : 85 - 95
- [30] Feasibility analysis of real-time transactions [J]. REAL-TIME SYSTEMS, 2012, 48 (03) : 320 - 358