✦ LIBER ✦

Spatial and behavioral types in the pi-calculus

✍ Scribed by Lucia Acciai; Michele Boreale

Book ID: 113641889
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 694 KB
Volume: 208
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2009.10.011

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding safety properties in infinite-s

Deciding safety properties in infinite-state pi-calculus via behavioural types

✍ Lucia Acciai; Michele Boreale 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 396 KB

A generic type system for the Pi-calculu

A generic type system for the Pi-calculus

✍ Atsushi Igarashi; Naoki Kobayashi 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 468 KB

We propose a general, powerful framework of type systems for the -calculus, and show that we can obtain as its instances a variety of type systems guaranteeing non-trivial properties like deadlock-freedom and race-freedom. A key idea is to express types and type environments as abstract processes: W

Algorithmic type checking for a pi-calcu

Algorithmic type checking for a pi-calculus with name matching and session types

✍ Giunti, Marco 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 395 KB

The security pi-calculus and non-interfe

The security pi-calculus and non-interference

✍ Matthew Hennessy 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 352 KB

Intersection and Union Types in the -cal

Intersection and Union Types in the -calculus

✍ Daniel J. Dougherty; Silvia Ghilezan; Pierre Lescanne 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

SERUM Pi TYPES IN NORWEGIANS

✍ Magne K. Fagerhol 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 564 KB