A semantics for concurrent separation logic

This publication has 20 references indexed in Scilit:

• Permission accounting in separation logic
  Published by Association for Computing Machinery (ACM) ,2005
• Local reasoning about a copying garbage collector
  Published by Association for Computing Machinery (ACM) ,2004
• Ownership types for safe programming
  Published by Association for Computing Machinery (ACM) ,2002
• Deadlock analysis in networks of communicating processes
  Distributed Computing, 1991
• Parallel programming: An axiomatic approach
  Computer Languages, 1975
• Concurrent Programming Concepts
  ACM Computing Surveys, 1973
• A structured paging system
  The Computer Journal, 1973
• Structured multiprogramming
  Communications of the ACM, 1972
• Hierarchical ordering of sequential processes
  Acta Informatica, 1971
• The structure of the “THE”-multiprogramming system
  Communications of the ACM, 1968