Syntactic Control of Interference for Separation Logic

Uday Reddy, JC Reynolds

Computer Science

Research output: Contribution to conference (unpublished) › Paper

2 Citations (Scopus)

2 Citations
1 Article

1 results

2011
Fine-grained Concurrency with Separation Logic
Kapoor, K., Lodaya, K. & Reddy, U., 1 Oct 2011, In: Journal of Philosophical Logic. 40, 5, p. 583-632 50 p.
Research output: Contribution to journal › Article

Open Access
File
5 Citations (Scopus)

295 Downloads (Pure)