𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A generic system for form dropout

✍ Scribed by Bin Yu; Jain, A.K.


Book ID
117873277
Publisher
IEEE
Year
1996
Tongue
English
Weight
774 KB
Volume
18
Category
Article
ISSN
0162-8828

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


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