Title :
A Temporal Logic over Partial Orders for Analysis of Real-Time Properties of Distributed Programs
Author :
Mall, R. ; Patnaik, L.M.
Author_Institution :
Indian Institute of Science
Keywords :
Application software; Automation; Clocks; Computer science; Concurrent computing; Interleaved codes; Laboratories; Logic programming; Microprocessors; Petri nets;
Conference_Titel :
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN :
0-7803-0538-8
DOI :
10.1109/TENCON.1991.729671