A hierarchy of temporal properties

• Authors:

• Z. Manna;A. Pnueli

• Affiliations:

• Stanford University, and Weizmann Institute of Science;Weizmann Institute of Science

• Venue:
• PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
• Year:
• 1987