✦ LIBER ✦

Achieving atomicity in occam

✍ Scribed by H Zedan

Publisher: Elsevier Science
Year: 1988
Weight: 308 KB
Volume: 23
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(88)90366-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Achieving atomic resolution

✍ John Spence 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 793 KB

Atomicity and determinism in Boolean sys

Atomicity and determinism in Boolean systems

✍ N. S. Kronfli 📂 Article 📅 1971 🏛 Springer 🌐 English ⚖ 158 KB

Stabilization-Preserving Atomicity Refin

Stabilization-Preserving Atomicity Refinement

✍ Mikhail Nesterenko; Anish Arora 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 278 KB

For refinements to be useful, they must not only preserve functionality properties but also dependability properties. In this paper, we focus our attention on refinements that preserve the dependability property of stabilization. Specifically, we present a stabilization-preserving refinement of atom

Procedures and atomicity refinement

✍ K. Sere 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 601 KB

The introduction of an early return from a (remote) procedure call can increase the degree of parallelism in a parallel or distributed algorithm modeled by an action system. We define a return statement for procedures in an action systems framework and show that it corresponds to carrying out an ato

A challenge for atomicity verification

✍ Wim H. Hesselink 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 301 KB

OCCAM-an overview

✍ David May; Richard Taylor 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 584 KB