A Semantics for Concurrent Separation Logic

This publication has 9 references indexed in Scilit:

• Resources, Concurrency and Local Reasoning
  Published by Springer Nature ,2004
• Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes
  Published by Springer Nature ,2002
• BI as an assertion language for mutable data structures
  Published by Association for Computing Machinery (ACM) ,2001
• The Logic of Bunched Implications
  Bulletin of Symbolic Logic, 1999
• Full Abstraction for a Shared-Variable Parallel Language
  Information and Computation, 1996
• On the semantics of fair parallelism
  Published by Springer Nature ,1980
• Verifying properties of parallel programs
  Communications of the ACM, 1976
• Concurrent Programming Concepts
  ACM Computing Surveys, 1973
• Structured multiprogramming
  Communications of the ACM, 1972