DocumentCode :
330592
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
Volume :
2
fYear :
1991
fDate :
28-30 Aug 1991
Firstpage :
335
Lastpage :
339
Keywords :
Application software; Automation; Clocks; Computer science; Concurrent computing; Interleaved codes; Laboratories; Logic programming; Microprocessors; Petri nets;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
TENCON '91.1991 IEEE Region 10 International Conference on EC3-Energy, Computer, Communication and Control Systems
Print_ISBN :
0-7803-0538-8
Type :
conf
DOI :
10.1109/TENCON.1991.729671
Filename :
729671
Link To Document :
بازگشت