A Temporal Logic for Real-Time Partial-Ordering with Named Transactions

FARN WANG2018-09-102018-09-101997-07http://scholars.lib.ntu.edu.tw/handle/123456789/333803A Temporal Logic for Real-Time Partial-Ordering with Named Transactionsjournal article10.1016/S0304-3975(96)00270-82-s2.0-0031187894WOS:A1997XM12300013