Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maurice Herlihy
Adding Concurrency to Smart Contracts
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
Energy-Efficient and High-Performance Lock Speculation Hardware for Embedded Multicore Systems
Transactions on Embedded Computing Systems
Hardware
Architecture
Software
An Equivariance Theorem With Applications to Renaming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Nature of Progress
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Thrifty-Malloc
On the Weakest Failure Detector Ever
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
A Flexible Framework for Implementing Software Transactional Memory
ACM SIGPLAN Notices
Computer Science
Snapshots and Software Transactional Memory
Science of Computer Programming
Software
A Methodology for Implementing Highly Concurrent Data Objects
Operating Systems Review (ACM)
Hardware
Computer Networks
Information Systems
Architecture
Communications
Proving Correctness of Highly-Concurrent Linearisable Objects
