✦ LIBER ✦

On logical and concurrent equivalences

✍ Scribed by J.C. Bradfield; S.B. Fröschle

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On linear logic planning and concurrency

✍ Ozan Kahramanoğulları 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 595 KB

On the Relationship Between BDI Logics a

✍ Klaus Schild 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 161 KB

PRESUPPOSITION PROJECTION AND LOGICAL EQ

✍ Daniel Rothschild 📂 Article 📅 2008 🏛 Blackwell Publishing 🌐 English ⚖ 161 KB

Regular equivalence and dynamic logic

✍ Maarten Marx; Michael Masuch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Concurrent Separation Logic and Operatio

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

On Semantics of Concurrency and Nondeter

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