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

Beverly A. Sanders

Browse the full PODC paper archive.