Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using the Web Browser
-
- Other Formats (2)
-
-
Export as HyperText Markup Language (HTML)
-
Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Information 11(1), pages 1–20
January 2020
A common use case for blockchain smart contracts (SC) is that of governing interaction amongst mutually untrusted parties, by automatically enforcing rules for interaction. However, while many contributions in the literature assess SC computational expressiveness, an evaluation of their power in terms of coordination (i.e., governing interaction) is still missing. This is why in this paper we test mainstream SC implementations by evaluating their expressive power in coordinating both inter-users and inter-SC activities. To do so, we exploit the archetypal Linda coordination model as a benchmark—a common practice in the field of coordination models and languages—by discussing to what extent mainstream blockchain technologies support its implementation. As they reveal some notable limitations (affecting, in particular, coordination between SC) we then show how Tenderfone, a custom blockchain implementation providing for a more expressive notion of SC, addresses the aforementioned limitations. |
(keywords) blockchain; smart contracts; coordination; Linda; Tenderfone |
Special Issue “Blockchain Technologies for Multi-Agent Systems”
Journals & Series
- Information (INFORMATION)
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
— editors
Davide Calvaresi, Alevtina Dubovitskaya, Michael Schumacher, Kuldar Taveter
— status
published
— sort
article in journal
— publication date
January 2020
— journal
Information
— volume
11
— issue
1
— pages
1–20
— article no.
52
— number of pages
20
URLs
identifiers
— DOI
— DBLP
journals/information/CiattoMMO20
— IRIS
— Scholar
— Scopus
— WoS / ISI
— print ISSN
2078-2489
notes
— note
Special Issue “Blockchain Technologies for Multi-Agent Systems”