Fine-grained Concurrency with Separation Logic

K Kapoor, K Lodaya, Uday Reddy

Computer Science

Research output: Contribution to journal › Article

5 Citations (Scopus)

295 Downloads (Pure)

5 Citations
1 Paper

1 results

2012
Syntactic Control of Interference for Separation Logic
Reddy, U. & Reynolds, JC., 1 Jan 2012, p. 323-336. 14 p.
Research output: Contribution to conference (unpublished) › Paper
2 Citations (Scopus)