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...
保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | Citation Index Journal |
| 出版事項: |
2014
|
| 主題: | |
| オンライン･アクセス: | http://eprints.utp.edu.my/11077/1/978-3-319-04126-1_11 http://eprints.utp.edu.my/11077/ |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
このレコードへの初めてのコメントを付けませんか!