✦ LIBER ✦

Types for the Ambient Calculus

✍ Scribed by Luca Cardelli; Giorgio Ghelli; Andrew D. Gordon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Flow-sensitive type systems and the ambi

✍ Torben Amtoft 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 607 KB

Predicate μ-Calculus for Mobile Ambients

✍ Hui-Min Lin 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 539 KB

The Calculus of Context-aware Ambients

✍ François Siewe; Hussein Zedan; Antonio Cau 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 410 KB

Intensionality of Modal Logic for Robust

✍ Taolue Chen; Tingting Han; Jian Lu 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 159 KB

Ambient Calculus and its Logic in the Ca

✍ Ivan Scagnetto; Marino Miculan 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 240 KB

Hybrid logical analyses of the ambient c

✍ Thomas Bolander; René Rydhof Hansen 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 821 KB