𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A functional presentation of Pi calculus

✍ Scribed by Yuxi Fu


Book ID
110648250
Publisher
Science in China Press (SCP)
Year
2001
Tongue
English
Weight
885 KB
Volume
44
Category
Article
ISSN
1674-733X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A local functional calculus
✍ Paul McGuire πŸ“‚ Article πŸ“… 1986 πŸ› SP BirkhΓ€user Verlag Basel 🌐 English βš– 675 KB
A generic type system for the Pi-calculu
✍ 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