A Modal Logic for Message passing Processes (Extended Abstract)

• Authors:

• Matthew Hennessy;X. Liu

• Affiliations:

• -;-

• Venue:
• CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
• Year:
• 1993