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...
| 主要作者: | |
|---|---|
| 格式: | Article |
| 語言: | English |
| 出版: |
Taylor & Francis Group
2018-01-01
|
| 叢編: | Cogent Engineering |
| 主題: | |
| 在線閱讀: | http://dx.doi.org/10.1080/23311916.2018.1475033 |