✦ LIBER ✦

A model of reconfiguration in communicating sequential processes

✍ Scribed by Jeremy Jacob

Publisher: Elsevier Science
Year: 1990
Tongue: English
Weight: 315 KB
Volume: 35
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(90)90168-w

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A model of reconfiguration in communicat

A model of reconfiguration in communicating sequential processes with a notion of transactions

✍ Jeremy Jacob 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 332 KB

A timed model for communicating sequenti

A timed model for communicating sequential processes

✍ G.M. Reed; A.W. Roscoe 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 844 KB

Distributed implementation of nested com

Distributed implementation of nested communicating sequential processes: Communication and termination

✍ F. Baiardi; A. Fantechi; A. Tomasi; M. Vanneschi 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 921 KB

A model for the distributed implementation of CSP programs, based on cooperation between communicating virtual processors, is defined. Emphasis is placed on the relations between nested parallel commands, communication, and process termination. We then present a protocol for process termination hand

Model of error propagation in systems of

Model of error propagation in systems of communicating processes

✍ Krzysztof Zieliński 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 817 KB

The transformation of collections of com

The transformation of collections of communicating sequential processes that represent pipeline configurations

✍ Shirley A. Williams 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Communicating Sequential Processes. By C

Communicating Sequential Processes. By C.A.R. Hoare. Prentice-Hall International, London, 1985, viii+256 pages.

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 369 KB