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/ |
| 标签: |
添加标签
没有标签, 成为第一个标记此记录!
|