✦ LIBER ✦

Procedures and atomicity refinement

✍ Scribed by K. Sere

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 601 KB
Volume: 60
Category: Article
ISSN: 0020-0190
DOI: 10.1016/s0020-0190(96)00142-1

No coin nor oath required. For personal study only.

✦ Synopsis

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 atomicity refinement.

📜 SIMILAR VOLUMES

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

Data Refinement of Remote Procedures

✍ Kaisa Sere; Marina Waldén 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 166 KB

Refinement of the sanderson procedure fo

Refinement of the sanderson procedure for calculating electronegativities of atoms

✍ S. S. Batsanov 📂 Article 📅 1989 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 371 KB

Interfaces for Refining Recursion and Pr

Interfaces for Refining Recursion and Procedures

✍ Mark Staples 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 175 KB

Atomicity and determinism in Boolean sys

Atomicity and determinism in Boolean systems

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

Causality and atomicity in distributed c

Causality and atomicity in distributed computations

✍ Ajay D. Kshemkalyani 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 384 KB