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

CSP-i: An implementation of communicating sequential processes

โœ Scribed by K. L. Wrench

Book ID
112210450
Publisher
John Wiley and Sons
Year
1988
Tongue
English
Weight
886 KB
Volume
18
Category
Article
ISSN
0038-0644

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

Implementation of communicating reactive
Implementation of communicating reactive processes
โœ S. Ramesh ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 228 KB

Communicating reactive processes (CRP) is a new paradigm that uniยฎes capabilities of synchronous and asynchronous approaches to parallel programming; Esterel and Statecharts are two important languages following the synchronous approach while the asynchronous approach is followed by languages like A