𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The ‘Hoare logic’ of concurrent programs

✍ Scribed by Leslie Lamport


Publisher
Springer-Verlag
Year
1980
Tongue
English
Weight
864 KB
Volume
14
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Distributed concurrent linear logic prog
✍ 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