Distributed computation systems: modelling, verification, and algorithms

• Authors:

• Shlomit Sarah Pinter

• Affiliations:

• -

• Venue:
• Distributed computation systems: modelling, verification, and algorithms
• Year:
• 1984