13 results on '"Doherty, Simon"'
Search Results
2. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
3. Telemedicine: patient care in the digital world
4. Verifying Correctness of Persistent Concurrent Data Structures
5. Making Linearizability Compositional for Partially Ordered Executions
6. Proving Opacity via Linearizability: A Sound and Complete Method
7. Linearizability and Causality
8. Nonblocking Algorithms and Backward Simulation
9. Formal Verification of a Practical Lock-Free Queue Algorithm
10. Homometallic and Heterometallic Transition Metal Allenyl Complexes: Synthesis, Structure, and Reactivity
11. Linearizability and Causality.
12. Recent Developments in Alkyne Carbonylation
13. CHAPTER 3. Homogeneous Catalysis in Ionic Liquids
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.