@Article{         Dickerson:2017aa,
  Author        = "Dickerson, Thomas and Gazzillo, Paul and Herlihy, Maurice and Koskinen, Eric",
  Abstract      = "Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain. Later, those contracts are serially re-executed by validators to verify that the smart contracts were executed correctly by miners.",
  date-added    = "2018-04-22 16:08:58 +0000",
  date-modified = "2018-04-22 16:08:58 +0000",
  EPrint        = "1702.04467",
  Month         = "02",
  Title         = "Adding Concurrency to Smart Contracts",
  URL           = "https://arxiv.org/abs/1702.04467",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1702.04467",
  File          = "1702.04467 (0) - a - a - i.pdf"
}

@Article{ Dickerson:2017aa, Author = "Dickerson, Thomas and Gazzillo, Paul and Herlihy, Maurice and Koskinen, Eric", Abstract = "Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain. Later, those contracts are serially re-executed by validators to verify that the smart contracts were executed correctly by miners.", date-added = "2018-04-22 16:08:58 +0000", date-modified = "2018-04-22 16:08:58 +0000", EPrint = "1702.04467", Month = "02", Title = "Adding Concurrency to Smart Contracts", URL = "https://arxiv.org/abs/1702.04467", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1702.04467", File = "1702.04467 (0) - a - a - i.pdf" }