𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cheap concurrent programming

✍ Scribed by Mordechai Ben-Ari

Book ID
112209875
Publisher
John Wiley and Sons
Year
1981
Tongue
English
Weight
236 KB
Volume
11
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Ada - concurrent programming
Ada - concurrent programming
✍ Hunter, Robin πŸ“‚ Article πŸ“… 1985 πŸ› Institution of Electrical Engineers βš– 281 KB
Concurrent programming in VISO
Concurrent programming in VISO
✍ Al-Mulhem, Muhammed S. πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 92 KB
On Concurrent Programming [Book Review]
On Concurrent Programming [Book Review]
✍ Schneider, F.B.; Moller, R. πŸ“‚ Article πŸ“… 1998 πŸ› IEEE Computer Society 🌐 English βš– 250 KB
Distributed concurrent linear logic prog
Distributed concurrent linear logic programming
✍ Naoki Kobayashi; Toshihiro Shimizu; Akinori Yonezawa πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 227 KB

We propose a framework of distributed concurrent linear logic programming, which can elegantly capture the essential features of distributed computation: location-dependence=independence of names and movement of computation. We ΓΏrst deΓΏne the syntax and semantics of a modal linear logic that is suit