Reasoning about the Implementation of Concurrency Abstractions on x86-TSO

This publication has 17 references indexed in Scilit:

• Effective Program Verification for Relaxed Memory Models
  Published by Springer Nature ,2008
• Formalising Java’s Data Race Free Guarantee
  Published by Springer Nature ,2007
• Resources, concurrency, and local reasoning
  Theoretical Computer Science, 2007
• A semantics for concurrent separation logic
  Theoretical Computer Science, 2007
• The non-blocking write protocol NBW: A solution to a real-time synchronization problem
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Accommodating interference in the formal design of concurrent object-based programs
  Formal Methods in System Design, 1996
• Shared memory consistency models: a tutorial
  Computer, 1996
• Causal memory: definitions, implementation, and programming
  Distributed Computing, 1995
• A unified formalization of four shared-memory models
  IEEE Transactions on Parallel and Distributed Systems, 1993
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
  IEEE Transactions on Computers, 1979