Formal analysis of control and termination of distributed computation in weaker spaces
The control and termination detection of a distributed computation involving large-scale distributed database is difficult in the presence of concurrency, random network delays, and varying reliability of computing nodes. The formal modeling and analysis of controllability as well as termination det...
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | مقال |
| اللغة: | English |
| منشور في: |
Taylor & Francis Group
2018-01-01
|
| سلاسل: | Cogent Engineering |
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://dx.doi.org/10.1080/23311916.2018.1475033 |