✦ LIBER ✦

A spatial equational logic for the appliedπ-calculus

✍ Scribed by Étienne Lozes; Jules Villard

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Situation Calculus: A Case for Modal

✍ Gerhard Lakemeyer 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

A logical encoding of the π-calculus: mo

✍ Ping Yang; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 573 KB

A spatial decay estimate for the heat eq

✍ Warren S. Edelstein 📂 Article 📅 1969 🏛 Springer 🌐 English ⚖ 230 KB

A spatial decay estimate for the Navier-

✍ Alan R. Elcrat; Vincent G. Sigillito 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 282 KB

New a priori estimates for the spatially

✍ G. Toscani 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 429 KB

An algorithm for the solution of a syste

✍ Yu.G. Grigoryan 📂 Article 📅 1963 🏛 Elsevier Science ⚖ 269 KB