✦ LIBER ✦

Type inference for a distributed π-calculus

✍ Scribed by Cédric Lhoussaine

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inference systems for observation equiva

✍ Huimin Lin 📂 Article 📅 1999 🏛 SP Science China Press 🌐 English ⚖ 712 KB

A Distributed π-Calculus with Local Area

✍ Tom Chothia; Ian Stark 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 167 KB

Complete inference systems for weak bisi

✍ Huimin Lin 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 337 KB

Types and full abstraction for polyadic

✍ Paola Quaglia; David Walker 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 376 KB

A Polymorphic Environment Calculus and i

✍ Shin-Ya Nishizaki 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 190 KB

Type-based information flow analysis for

✍ Naoki Kobayashi 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 800 KB