Syntactic Control of Interference for Separation Logic

Research output: Contribution to conference (unpublished)Paper

Publications

  1. 2011
  2. Published

    Fine-grained Concurrency with Separation Logic

    Uday Reddy, 1 Oct 2011, In : Journal of Philosophical Logic. 40, 5, p. 583-632 50 p.

    Research output: Contribution to journalArticle