Toward a Grainless Semantics for Shared-Variable Concurrency

This publication has 6 references indexed in Scilit:

• 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
• Full Abstraction for a Shared-Variable Parallel Language
  Information and Computation, 1996
• On the semantics of fair parallelism
  Published by Springer Nature ,1980
• Structured multiprogramming
  Communications of the ACM, 1972