Login / Signup

A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract).

Beverly A. Sanders
Published in: PODC (1991)
Keyphrases