✦ LIBER ✦

A generalized message-passing mechanism for communicating sequential processes

✍ Scribed by Lenders, P.M.

Book ID: 119771994
Publisher: IEEE
Year: 1988
Tongue: English
Weight: 554 KB
Volume: 37
Category: Article
ISSN: 0018-9340
DOI: 10.1109/12.2203

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Communicating sequential processes

✍ Hoare, C. A. R. 📂 Article 📅 1983 🏛 Association for Computing Machinery 🌐 English ⚖ 831 KB

A modal logic for message passing proces

A modal logic for message passing processes

✍ M. Hennessy, X. Liu 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 960 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

A singleton failures semantics for Commu

A singleton failures semantics for Communicating Sequential Processes

✍ Christie Bolton; Jim Davies 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 235 KB

A Communication Architecture for a Massi

A Communication Architecture for a Massively Parallel Message-Passing Multicomputer

✍ C. Germain; J.L. Bechennec; D. Etiemble; J.P. Sansonnet 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 916 KB

Communication networks stress the distinction between classical and massively parallel architectures. The network is the key for the whole architecture efficiency, while severe technological constraints limit the possible choices. This paper presents forced routing, which is the routing strategy of

A deadlock-free communication kernel for

A deadlock-free communication kernel for loop connected message passing computer architecture

✍ P. Pramanik; P.K. Das; A.K. Bandyopadhyay; D.Q.M. Fay 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 629 KB