✦ 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
DOI: 10.1007/bf00289062

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Associative concurrent evaluation of log

Associative concurrent evaluation of logic programs

✍ Katsuhiko Nakamura 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 655 KB

Linearity Analysis of Concurrent Logic P

Linearity Analysis of Concurrent Logic Programs

✍ Kazunori Ueda 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 76 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

Continuation compilation for concurrent

Continuation compilation for concurrent logic programming

✍ B Kemp; P Soper; A King 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 913 KB

A generalization of Owicki-Gries's Hoare

A generalization of Owicki-Gries's Hoare logic for a concurrent while language

✍ Colin Stirling 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 831 KB

Hoare's logic for programming languages

Hoare's logic for programming languages with two data types

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 620 KB