Stem propheci$ (all stems)

5 papers:

FASE-2015-Abadi #undo

The Prophecy of Undo (MA), pp. 347–361.

CSL-2015-Abadi

The Prophecy of Timely Rollback (Invited Talk) (MA), p. 1.

SCSM-2014-WaltherT #communication #how #relational #self

Inventing Partners in Computer-Mediated Communication: How CMC Sustains Self-fulfilling Prophecies and Relational Attributions (JBW, STT), pp. 517–527.

POPL-2011-CookK

Making prophecies with decision predicates (BC, EK), pp. 399–410.

TLCA-2007-BoveC

Computation by Prophecy (AB, VC), pp. 70–83.