• Computer Science
  • Published in ArXiv 2019

A true concurrent model of smart contracts executions

@article{Bartoletti2019ATC,
  title={A true concurrent model of smart contracts executions},
  author={Massimo Bartoletti and Letterio Galletta and Maurizio Murgia},
  journal={ArXiv},
  year={2019},
  volume={abs/1905.04366}
}
One of the key features of modern blockchain platforms is the possibility of executing smart contracts, i.e. computer programs that transfer digital assets between users, according to pre-agreed rules. [...] Key Method To this aim, nodes first collect a set of transactions from the network, representing the actions on the smart contracts required by users. Then, to compute the new state of the smart contracts, they put these transactions in sequence (in an arbitrary order), and execute them serially. Once this…Expand Abstract
1
Twitter Mention

References

Publications referenced by this paper.
SHOWING 1-10 OF 32 REFERENCES

An Efficient Framework for Optimistic Concurrent Execution of Smart Contracts

VIEW 11 EXCERPTS
HIGHLY INFLUENTIAL

Adding Concurrency to Smart Contracts

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

Petri Nets: An Introduction

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Analysis of Programs for Parallel Processing

  • A. J. Bernstein
  • IEEE Trans. on Electronic Computers EC-15,
  • 1966
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

VIEW 1 EXCERPT