✦ LIBER ✦

Occurrence Counting Analysis for the π-calculus

✍ Scribed by Jérôme Feret

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type-based information flow analysis for

✍ Naoki Kobayashi 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 800 KB

A Resource Analysis of the π-calculus

✍ Aaron Turon; Mitchell Wand 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 291 KB

Static Analysis for the π-Calculus with

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

Concurrent Semantics for the π-calculus

✍ Ugo Montanari; Marco Pistore 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 954 KB

A Partition Refinement Algorithm for the

✍ Marco Pistore; Davide Sangiorgi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 480 KB

A Fully Abstract Model for the π-calculu

✍ M.P. Fiore; E. Moggi; D. Sangiorgi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 309 KB