๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A timed model for communicating sequential processes

โœ Scribed by G.M. Reed; A.W. Roscoe

Publisher
Elsevier Science
Year
1988
Tongue
English
Weight
844 KB
Volume
58
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

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