Proof rules for fault tolerant distributed programs

• Authors:

• Mathai Joseph;Abha Moitra

• Affiliations:

• Tata Institute of Fundamental Research, Bombay, India;Cornell Univ., Ithaca, NY

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