Resources, Concurrency and Local Reasoning

This publication has 17 references indexed in Scilit:

• A Semantics for Concurrent Separation Logic
  Published by Springer Nature ,2004
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
  Theoretical Computer Science, 1988
• Linear logic
  Theoretical Computer Science, 1987
• The temporal semantics of concurrent programs
  Theoretical Computer Science, 1981
• Verifying properties of parallel programs
  Communications of the ACM, 1976
• An axiomatic proof technique for parallel programs I
  Acta Informatica, 1976
• Monitors
  Communications of the ACM, 1974
• Structured multiprogramming
  Communications of the ACM, 1972
• Hierarchical ordering of sequential processes
  Acta Informatica, 1971
• The nucleus of a multiprogramming system
  Communications of the ACM, 1970