Maurice Herlihy
- Linearizability: a correctness condition for concurrent objects
1990/07/01 by Maurice Herlihy, Maurice P. Herlihy, Jeannette M. Wing · 96 citations
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling
- Wait-free synchronization
1991/01/01 by Maurice Herlihy · 24 citations
Computer Science · #Distributed systems and fault tolerance #Optimization and Search Problems #Parallel Computing and Optimization Techniques
- The topological structure of asynchronous computability
1999/11/01 by Maurice Herlihy, Nir Shavit · 23 citations
Computer Science · #Distributed systems and fault tolerance #Computability, Logic, AI Algorithms #Interconnection Networks and Systems
- Atomic Cross-Chain Swaps
2018/01/29 by Maurice Herlihy, Herlihy, Maurice · 14 citations
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)
- A methodology for implementing highly concurrent data objects
1993/11/01 by Maurice Herlihy · 3 citations
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Real-Time Systems Scheduling
- Hedging Against Sore Loser Attacks in Cross-Chain Transactions
2021/05/13 by Yingjie Xue, Maurice Herlihy, Xue, Yingjie +1 · 2 citations
Computer Science · Business, Management and Accounting · #Blockchain Technology Applications and Security #Distributed systems and fault tolerance #Advanced Queuing Theory Analysis
- Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
2022/04/20 by Ritam Ganguly, Ganguly, Ritam, Yingjie Xuey +11 · 1 citation
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Parallel #and Cluster Computing (cs.DC)
- Invited Paper: Fault-tolerant and Expressive Cross-Chain Swaps
2022/11/01 by Yingjie Xue, Di Jin, Xue, Yingjie +3 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC)