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...
محفوظ في:
المؤلفون الرئيسيون: | Arpit, Arpit, Shafie, Afza, Wan Ahmad, Wan Fatimah |
---|---|
التنسيق: | Citation Index Journal |
منشور في: |
2014
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://eprints.utp.edu.my/11077/1/978-3-319-04126-1_11 http://eprints.utp.edu.my/11077/ |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Automata for Modeling Reversible Probabilistic Processes
بواسطة: Arpit, Arpit, وآخرون
منشور في: (2013) -
Automata for modeling the distributed probabilistic reversible processes
بواسطة: Arpit,, وآخرون
منشور في: (2014) -
Automata for modeling reversible probabilistic processes
بواسطة: Arpit,, وآخرون
منشور في: (2013) -
MODELING VERIFICATION AND ANALYSIS OF CONCURRENT
PROBABILISTIC REVERSIBLE SYSTEMS
بواسطة: ,, ARPIT
منشور في: (2015) -
MODELING VERIFICATION AND ANALYSIS OF CONCURRENT
PROBABILISTIC REVERSIBLE SYSTEMS
بواسطة: ,, ARPIT
منشور في: (2016)