✦ LIBER ✦

Type-based information flow analysis for the π-calculus

✍ Scribed by Naoki Kobayashi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Occurrence Counting Analysis for the π-c

✍ Jérôme Feret 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 816 KB

Static Analysis for the π-Calculus with

✍ Chiara Bodei; Pierpaolo Degano; Flemming Nielson; Hanne Riis Nielson 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 156 KB

The Mutual Information based Correlation

✍ Huo Lin; Lv Chuan; Zhou Dong; Fei Simiao 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 355 KB

Pre-Selection of Patients for Pressure–F

✍ Ries Kranse; Ron van Mastrigt 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 317 KB

A computerised information system for th

✍ Paulo Sérgio Carvalhosa de Mello; Renan M.V.R Almeida; Wagner C.A Pereira 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 188 KB

Rapid, miniaturized procedure for the st

✍ Jun'ichi Toei 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 318 KB