✦ LIBER ✦

Type Inference for Mobile Ambients in Prolog

✍ Scribed by Elio Giovannetti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Type Inference Algorithm for Secure Am

✍ Franco Barbanera; Mariangiola Dezani-Ciancaglini; Ivano Salvo; Vladimiro Sassone 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 215 KB

Type inference in Prolog: a new approach

✍ M.-M. Corsini; K. Musumbu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 1003 KB

M3: Mobility Types for Mobile Processes

✍ Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Ivano Salvo 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 367 KB

Typed Mobile Ambients in Maude

✍ Fernando Rosa-Velardo; Clara Segura; Alberto Verdejo 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 379 KB

Prolog to Advances in Satellite CDMA Tra

✍ O'Donnell, R. 📂 Article 📅 1996 🏛 IEEE 🌐 English ⚖ 183 KB

An ontology-based context inference serv

✍ Gutheim, P. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 647 KB