✦ LIBER ✦

A Partition Refinement Algorithm for the π-Calculus

✍ Scribed by Marco Pistore; Davide Sangiorgi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

ZRC – A Refinement Calculus for Z

✍ Ana Cavalcanti; Jim Woodcock 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 149 KB

Mesh Partitioning: A Multilevel Balancin

✍ Walshaw, C.; Cross, M. 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 193 KB

Concurrent Semantics for the π-calculus

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

A Fully Abstract Model for the π-calculu

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

Symbolic transition graph and its early

✍ Zhoujun Li; Huowang Chen; Bingshan Wang 📂 Article 📅 1999 🏛 SP Science China Press 🌐 English ⚖ 653 KB

Type inference for a distributed π-calcu

✍ Cédric Lhoussaine 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 580 KB