3 ms·
The proofs are in this paper [1], see Section 3 “Game Transformations” and Appendix E. [1] https://prosecco.gforge.inria.fr/personal/bblanche/publications/Blan
by bblipp 7y ago
The proofs are in this paper [1], see Section 3 “Game Transformations” and Appendix E.
[1] https://prosecco.gforge.inria.fr/personal/bblanche/publications/BlanchetTDSC07.html https://prosecco.gforge.inria.fr/personal/bblanche/publicati...
- Loq 7y agoThanks. Interestingly, that paper uses a variant of pi-calculus, i.e. an idealised programming language for message passing, as 'games'.