✦ LIBER ✦

Static Analysis for the π-Calculus with Applications to Security

✍ Scribed by Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Improving the Security of Downloadable J

✍ Pierre Crégut; Cuihtlauac Alvarado 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 268 KB

Programs for computer implementation of

✍ Dominic G.B. Edelen 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 606 KB

The assessment of π–π selective stationa

✍ Mariam Mnatsakanyan; Paul G. Stevenson; David Shock; Xavier A. Conlan; Tiffany A 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 728 KB

A numerical approach to the static analy

✍ S. Vaidyanathan; H.R. Busby; D.R. Houser 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 1020 KB

Hierarchical transformation of Hamiltoni

✍ Picconi, David; Lami, Alessandro; Santoro, Fabrizio 📂 Article 📅 2012 🏛 American Institute of Physics 🌐 English ⚖ 923 KB

A dual-resonance model for the K+K−p(ove

✍ M. D. Lyberg 📂 Article 📅 1972 🏛 Springer-Verlag ⚖ 350 KB