Towards an Epistemic Approach to Reasoning about Concurrent Programs

• Authors:

• Wiebe van der Hoek;M. van Hulst;John-Jules Ch. Meyer

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the REX Workshop on Sematics: Foundations and Applications
• Year:
• 1992