https://lamport.azurewebsites.net/tla/tutorial/contents.html
PlusCal Tutorial - Contents
tutorialcontents
https://muratbuffalo.blogspot.com/2018/01/modeling-doa-attack-in-pluscal.html
Modeling the DAO attack in PlusCal
Maurice Herlihy's paper: "Blockchains from a distributed computing perspective" explains the DAO attack as follows: "Figure 1 shows a fr...
the daomodelingattack
https://tla.msr-inria.inria.fr/tlatoolbox/doc/pluscal/
Index of /tlatoolbox/doc/pluscal
index ofdoc