Login / Signup
At-Most-Once Message Delivery. A Case Study in Algorithm Verification.
Butler W. Lampson
Nancy A. Lynch
Jørgen F. Søgaard-Andersen
Published in:
CONCUR (1992)
Keyphrases
</>
real time
database systems
search space