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