The Extended UTXO Model

Manuel M. T. Chakravarty, James Chapman 0001, Kenneth Mackenzie, Orestis Melkonian, Michael Peyton Jones, Philip Wadler. The Extended UTXO Model. In Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala, editors, Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers. Volume 12063 of Lecture Notes in Computer Science, pages 525-539, Springer, 2020. [doi]

@inproceedings{Chakravarty0MMJ20,
  title = {The Extended UTXO Model},
  author = {Manuel M. T. Chakravarty and James Chapman 0001 and Kenneth Mackenzie and Orestis Melkonian and Michael Peyton Jones and Philip Wadler},
  year = {2020},
  doi = {10.1007/978-3-030-54455-3_37},
  url = {https://doi.org/10.1007/978-3-030-54455-3_37},
  researchr = {https://researchr.org/publication/Chakravarty0MMJ20},
  cites = {0},
  citedby = {0},
  pages = {525-539},
  booktitle = {Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers},
  editor = {Matthew Bernhard and Andrea Bracciali and L. Jean Camp and Shin'ichiro Matsuo and Alana Maurushat and Peter B. Rønne and Massimiliano Sala},
  volume = {12063},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-54455-3},
}