𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Termination of Nested and Mutually Recursive Algorithms

✍ Scribed by Jürgen Giesl

Book ID
110229317
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
290 KB
Volume
19
Category
Article
ISSN
0168-7433

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