A trace-based compositional proof theory for fault tolerant distributed systems

• Authors:

• Henk Schepers;Jozef Hooman

• Affiliations:

• -;-

• Venue:
• Theoretical Computer Science - Special issue on dependable parallel computing
• Year:
• 1994