A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)

DOI10.1145/112600.112619zbMath1314.68049OpenAlexW1996535423MaRDI QIDQ5255821

Beverly A. Sanders

Publication date: 19 June 2015

Published in: Proceedings of the tenth annual ACM symposium on Principles of distributed computing - PODC '91 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/112600.112619

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Knowledge representation (68T30) Distributed systems (68M14) Network protocols (68M12)

Related Items (2)

Knowledge-based programs ⋮ A note on knowledge-based programs and specifications

This page was built for publication: A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)