Fingerprint
Dive into the research topics of 'Fine-grained Concurrency with Separation Logic'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Fine-grained Concurrency with Separation Logic
K Kapoor, K Lodaya, Uday Reddy
Research output: Contribution to journal › Article
5
Citations
(Scopus)
295
Downloads
(Pure)