Verifying programs that use causally-ordered message-passing

• Authors:

• Scott D. Stoller;Fred B. Schneider

• Affiliations:

• -;-

• Venue:
• Science of Computer Programming
• Year:
• 1995