✦ LIBER ✦

Abstract interpretation of mobile systems

✍ Scribed by Jérôme Feret

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On abstract interpretation of Mobile Amb

✍ Francesca Levi; Sergio Maffeis 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 620 KB

An Abstract Interpretation-based Approac

✍ Elvira Albert; Germán Puebla; Manuel Hermenegildo 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 298 KB

Approximating Probabilistic Behaviors of

✍ Alessio Coletta; Roberta Gori; Francesca Levi 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 403 KB

Resource Access Control in Systems of Mo

✍ Matthew Hennessy; James Riely 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 315 KB

An Interpretation of a System of Abstrac

✍ A.K. Belyaev 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 67 KB

Abstract Interpretation of Functional Pr

✍ Jeroen Fokker; S. Doaitse Swierstra 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 257 KB