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

Wang, FarnFarnWang2009-02-032018-06-292009-02-032018-06-291995-04http://ntur.lib.ntu.edu.tw//handle/246246/118755Santiago, Chileen-USA Temporal Logic for Real-Time Partial-Ordering with Named Transactions2-s2.0-0031187894WOS:A1997XM12300013