✦ LIBER ✦

A Resource Analysis of the π-calculus

✍ Scribed by Aaron Turon; Mitchell Wand

Book ID: 113602741
Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 291 KB
Volume: 276
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.09.028

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Occurrence Counting Analysis for the π-c

Occurrence Counting Analysis for the π-calculus

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

Type-based information flow analysis for

Type-based information flow analysis for the π-calculus

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

Faithful π-nets.: A graphical representa

Faithful π-nets.: A graphical representation of the asynchronous π-calculus

✍ Gabriel Ciobanu; Mihai Rotaru 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 976 KB

Starting from the -nets de ned by Milner, we present a graphical formalism called faithful -nets. The aim of these nets is to provide a graphical form to the systems with dynamically changing con gurations. The faithful -nets correspond precisely to the -calculus. The paper gives two fully abstract

Static Analysis for the π-Calculus with

Static Analysis for the π-Calculus with Applications to Security

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

A theory of structural stationarity in t

A theory of structural stationarity in theπ-Calculus

✍ Roland Meyer 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 875 KB

A Partition Refinement Algorithm for the

A Partition Refinement Algorithm for the π-Calculus

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