A Marriage of Rely/Guarantee and Separation Logic

This publication has 15 references indexed in Scilit:

• On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
  Published by Springer Nature ,2007
• Toward a Grainless Semantics for Shared-Variable Concurrency
  Published by Springer Nature ,2004
• Resources, Concurrency and Local Reasoning
  Published by Springer Nature ,2004
• A Semantics for Concurrent Separation Logic
  Published by Springer Nature ,2004
• The rely-guarantee method for verifying shared variable concurrent programs
  Formal Aspects of Computing, 1997
• Conjoining specifications
  ACM Transactions on Programming Languages and Systems, 1995
• The specification statement
  ACM Transactions on Programming Languages and Systems, 1988
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• Towards a Theory of Parallel Programming
  Published by Springer Nature ,1972
• An axiomatic basis for computer programming
  Communications of the ACM, 1969