Historia: Refuting Callback Reachability with Message-History Logics.

Shawn Meier Sergio Mover Gowtham Kaki Bor-Yuh Evan Chang

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

expressive power
email
transitive closure
modal logic
state space
inference rules
communication channels
nonmonotonic logics
proof theory
program chairs
real time
search engine
multi agent systems
historical information
message delivery
message transmission