The Design of a Temporal Logic for Open Distributed Systems

• Authors:

• Reinhard Gotzhein;Friedrich H. Vogt

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing
• Year:
• 1991