Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts
Authors: Polina Vinogradova, Manuel Chakravarty, Orestis Melkonian, Michael Peyton Jones, James Chapman, Tudor Ferariu and Jacco Krijnen
Paper Information
| Title: | Designing EUTxO smart contracts as communicating state machines: the case of simulating accounts |
| Authors: | Polina Vinogradova, Manuel Chakravarty, Orestis Melkonian, Michael Peyton Jones, James Chapman, Tudor Ferariu and Jacco Krijnen |
| Proceedings: | FMBC Program Papers |
| Editors: | Zaynah Dargaye and Clara Schneidewind |
| Keywords: | UTxO, state machines, message passing |
| Pages: | 3 |
| Talk: | Aug 11 12:00 (Session 125D: Formal Methods for Smart Contracts) |
| Paper: |  |