Protocol Verification by Aggregation of Distributed Transactions

Seungjoon Park,D. Dill
DOI: https://doi.org/10.1007/3-540-61474-5_78
1996-08-03
Abstract:
What problem does this paper attempt to address?