A note on knowledge-based programs and specifications

DOI10.1007/PL00008916zbMath1448.68407OpenAlexW1986798330MaRDI QIDQ5137901

Joseph Y. Halpern

Publication date: 3 December 2020

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00008916

Mathematics Subject Classification ID

Knowledge representation (68T30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Agent technology and artificial intelligence (68T42)

Uses Software

• UNITY

Cites Work

• Unnamed Item
• Unnamed Item
• Knowledge and common knowledge in a Byzantine environment: Crash failures
• Cheating husbands and other stories: A case study of knowledge, action, and communication
• Programming simultaneous actions using common knowledge
• The positive value of information
• Modelling knowledge and action in distributed systems
• A Characterization of Eventual Byzantine Agreement
• Knowledge and common knowledge in a distributed environment
• “Sometimes” and “not never” revisited
• Proving Liveness Properties of Concurrent Programs
• A little knowledge goes a long way
• Knowledge-based programs
• A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)
• Simulating synchronized clocks and common knowledge in distributed systems