Automata for Modeling the Distributed Probabilistic Reversible Processes
This paper presents the construction of an automaton termed the Concurrent Probabilistic Reversible Automata (CPRA). It models the distributed systems which exhibit probabilistic behaviour and also relies on backtracking as the basis to make a system fault tolerant. Here, the basic concepts of non-p...
Saved in:
| Main Authors: | , , |
|---|---|
| 格式: | Citation Index Journal |
| 出版: |
2014
|
| 主題: | |
| 在線閱讀: | http://eprints.utp.edu.my/11077/1/978-3-319-04126-1_11 http://eprints.utp.edu.my/11077/ |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|