Thomas Dickerson is an author at Yale University specializing in systems engineering, computer science, and formal methods.
Top concepts
BlockchainEngineeringFormal MethodsSmart ContractsComputer ScienceParallel ComputingFormal VerificationSystems EngineeringComputer EngineeringParallel Programming
Publications per year
2017–2017
1
1
Adding Concurrency to Smart Contracts
Thomas Dickerson, Paul Gazzillo, Maurice Herlihy et al. · 2017 · 155 citations · Full text
Engineering, Computer Architecture, Transactional System +17
Rows per page
1–1 of 1