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: | , , |
|---|---|
| Format: | Citation Index Journal |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://eprints.utp.edu.my/11077/1/978-3-319-04126-1_11 http://eprints.utp.edu.my/11077/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|