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...
| Main Authors: | Arpit,, Shafie, A., Wan Ahmad, W.F. |
|---|---|
| Format: | Article |
| Institution: | Universiti Teknologi Petronas |
| Record Id / ISBN-0: | utp-eprints.31767 / |
| Published: |
Springer Verlag
2014
|
| Online Access: |
https://www.scopus.com/inward/record.uri?eid=2-s2.0-84927585386&doi=10.1007%2f978-3-319-04126-1_11&partnerID=40&md5=42f62dfd60152597afdcf214a8d4da60 http://eprints.utp.edu.my/31767/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|