Fine-grained Concurrency with Separation Logic

Research output: Contribution to journalArticle

Publications

  1. 2012
  2. Published

    Syntactic Control of Interference for Separation Logic

    Uday Reddy, 1 Jan 2012, p. 323-336. 14 p.

    Research output: Contribution to conference (unpublished)Paper