Ilya Sergey, Aquinas Hobor. A Concurrent Perspective on Smart Contracts. In Michael Brenner, Kurt Rohloff, Joseph Bonneau, Andrew Miller, Peter Y. A. Ryan, Vanessa Teague, Andrea Bracciali, Massimiliano Sala, Federico Pintore, Markus Jakobsson, editors, Financial Cryptography and Data Security - FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers. Volume 10323 of Lecture Notes in Computer Science, pages 478-493, Springer, 2017.
Abstract is missing.