✦ LIBER ✦

A Type Inference Algorithm for Secure Ambients

✍ Scribed by Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivano Salvo; Vladimiro Sassone

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type Inference for Mobile Ambients in Pr

✍ Elio Giovannetti 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 265 KB

A Polymorphic Environment Calculus and i

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

A beam search algorithm for PFSA inferen

✍ A. Raman; P. Andreae; J. Patrick 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 869 KB

A Learning Algorithm for Multimodal Gram

✍ D'Ulizia, A.; Ferri, F.; Grifoni, P. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 710 KB

Statistical Inferences for Termination o

✍ V. Bartkutė; L. Sakalauskas 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 787 KB

A recursive algorithm for inferring gene

✍ E. A. THOMPSON 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 641 KB