The Formal Model
The PIC model is defined by a set of formal results.
| Work | Author | Description | Reference |
|---|---|---|---|
| Authority Propagation Models: PoP vs PoC | Nicola Gallo | Formal proof of confused deputy elimination under PIC | https://zenodo.org/records/17860199 |
| Authority is a Continuous System | Nicola Gallo | Formalization of authority as a continuity property of execution | https://zenodo.org/records/17833000 |