✦ LIBER ✦

Fine-grained Concurrency with Separation Logic

✍ Scribed by Kalpesh Kapoor; Kamal Lodaya; Uday S. Reddy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fine-grain concurrency

✍ Tony Hoare 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 962 KB

Concurrent Separation Logic and Operatio

✍ Viktor Vafeiadis 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 294 KB

Asynchronous Fine-Grain Power-Gated Logi

✍ Chang, Meng-Chou; Chang, Wei-Hsiang 📂 Article 📅 2013 🏛 IEEE 🌐 English ⚖ 639 KB

Fine grain pigment particle separator

📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 165 KB

Verification and refinement with fine-gr

✍ Emil Sekerinski 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 259 KB

Concurrent grain growth corrections duri

✍ R. W. Logan 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 246 KB