✦ LIBER ✦

Semantic subtyping for the pi-calculus

✍ Scribed by Giuseppe Castagna; Rocco De Nicola; Daniele Varacca

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

A pure labeled transition semantics for

✍ Xiaojuan Cai 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 616 KB

The Relevance of Semantic Subtyping

✍ Mariangiola Dezani-Ciancaglini; Alain Frisch; Elio Giovannetti; Yoko Motohama 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 217 KB

Linearity, Persistence and Testing Seman

✍ Diletta Cacciagrano; Flavio Corradini; Jesús Aranda; Frank D. Valencia 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 469 KB

Concurrent Semantics for the π-calculus

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

Logical Semantics for the Rewriting Calc

✍ Aaron Stump; Carsten Schürmann 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 252 KB