✦ LIBER ✦

Correctness of concurrent processes

✍ Scribed by Ernst-Rüdiger Olderog

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 948 KB
Volume: 80
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(91)90390-n

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finding the correctness proof of a concu

Finding the correctness proof of a concurrent program

✍ E.W. Dijkstra 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 521 KB

Deriving distributed processes from conc

Deriving distributed processes from concurrent processes

✍ Padmanabhan Krishnan 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 748 KB

Moments analysis of concurrent poisson p

Moments analysis of concurrent poisson processes

✍ G.W. McBeth; P. Cross 📂 Article 📅 1975 🏛 Elsevier Science ⚖ 381 KB

Typed ?-calculus at work: A correctness

Typed ?-calculus at work: A correctness proof of Jones's parallelisation transformation on concurrent objects

✍ Sangiorgi, Davide 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB

Cliff Jones has proposed transformations between concrete programs and general transformation rules that increase concurrency in a system of objects, and has raised the challenge of how to prove their validity. We present a proof of correctness of the hardest of Jones's concrete transformations. The

Microscopic processes in deposition-conc

Microscopic processes in deposition-concurrent surface segregation

✍ Ken-ichi Sano; Tsugio Miyagawa 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 702 KB

ASPEN: a concurrent stream processing en

ASPEN: a concurrent stream processing environment

✍ Brian K Livezey; Richard R Muntz 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 846 KB