✦ LIBER ✦

Concurrent Separation Logic and Operational Semantics

✍ Scribed by Viktor Vafeiadis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Operational Semantics for Functional Log

✍ Elvira Albert; Michael Hanus; Frank Huch; Javier Oliver; Germán Vidal 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Linear Concurrent Constraint Programming

✍ François Fages; Paul Ruet; Sylvain Soliman 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 162 KB

A rewriting logic approach to operationa

✍ Traian Florin Şerbănuţă; Grigore Roşu; José Meseguer 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 421 KB

Bialgebraic methods and modal logic in s

✍ Bartek Klin 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 540 KB

Fine-grained Concurrency with Separation

✍ Kalpesh Kapoor; Kamal Lodaya; Uday S. Reddy 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 711 KB

On Semantics of Concurrency and Nondeter

✍ Irina Virbitskaite 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 920 KB