Skip to main content

PIC Formal Model

The PIC Formal Model is defined by a set of formal results.

WorkAuthorDescriptionReference
Proof-of-Continuity: A Temporal Model for Authority Propagation in Distributed Systems and AI AgentsNicola GalloFormal foundation of the PIC Model: temporal model of authority propagation and confused deputy resolutionarxiv.org/abs/2607.08906