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
โฆ LIBER โฆ
Distributed termination of concurrent processes in Occam
โ Scribed by Domenico Talia
- Book ID
- 113230431
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 701 KB
- Volume
- 19
- Category
- Article
- ISSN
- 0096-0551
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Distributed implementation of nested com
โ
F. Baiardi; A. Fantechi; A. Tomasi; M. Vanneschi
๐
Article
๐
1987
๐
Elsevier Science
๐
English
โ 921 KB
Global optimisation of fault-tolerant al
โ
Vincenzo Piuri; Evgenij Tourouta
๐
Article
๐
1990
๐
Elsevier Science
โ 526 KB
On the minimal time required for executi
โ
V. P. Ivannikov; N. S. Kovalenko; V. M. Metel'skii
๐
Article
๐
2000
๐
SP MAIK Nauka/Interperiodica
๐
English
โ 559 KB
Termination processes in the cationic po
โ
F. Morelli; R. Tartarelli; G. Masetti
๐
Article
๐
1968
๐
Elsevier Science
๐
English
โ 151 KB
In the cationic polymerization of trioxane initiated by BF, etheratc in cyclohexane solution, the rate of polymerization may be practically zero after a long period at 56 ยฐ. If the reaction mixture is then cooled at a controlled rate, it is possible to obtain further increments both in yield and in
Hardware supported implementation of con
โ
N.A. Schreiner-Novick
๐
Article
๐
1984
๐
Elsevier Science
โ 344 KB
Analytical modeling of CMOS circuit dela
โ
B.P. Harish; Navakanta Bhat; Mahesh B. Patil
๐
Article
๐
2006
๐
Elsevier Science
๐
English
โ 283 KB