✦ LIBER ✦

A Fully Abstract Model for the π-calculus

✍ Scribed by M.P. Fiore; E. Moggi; D. Sangiorgi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A fully abstract semantics for causality

✍ Michele Boreale; Davide Sangiorgi 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 461 KB

Approach for workflow modeling using π-c

✍ Yang Dong; Zhang Shen-sheng 📂 Article 📅 2003 🏛 SP Zhejiang University Press 🌐 English ⚖ 683 KB

Types and full abstraction for polyadic

✍ Paola Quaglia; David Walker 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 376 KB

A Fully Abstract Model for Mobile Ambien

✍ M. Coppo; M. Dezani-Ciancaglini 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 136 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