On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning

This publication has 14 references indexed in Scilit:

• Modular verification of a non-blocking stack
  Published by Association for Computing Machinery (ACM) ,2007
• A Grainless Semantics for Parallel Programs with Shared Mutable Data
  Electronic Notes in Theoretical Computer Science, 2006
• Modular verification of concurrent assembly code with dynamic thread creation and termination
  Published by Association for Computing Machinery (ACM) ,2005
• Permission accounting in separation logic
  Published by Association for Computing Machinery (ACM) ,2005
• Resources, Concurrency and Local Reasoning
  Published by Springer Nature ,2004
• A Semantics for Concurrent Separation Logic
  Published by Springer Nature ,2004
• Separation logic: a logic for shared mutable data structures
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• BI as an assertion language for mutable data structures
  Published by Association for Computing Machinery (ACM) ,2001
• Tentative steps toward a development method for interfering programs
  ACM Transactions on Programming Languages and Systems, 1983
• Verifying properties of parallel programs
  Communications of the ACM, 1976