MODELING VERIFICATION AND ANALYSIS OF CONCURRENT PROBABILISTIC REVERSIBLE SYSTEMS
This thesis addresses the problem of modeling and analysis of the distributed systems under the probabilistic and reversible environment. On the theoretical side a mathematical model named as Concurrent reversible probabilistic automata (CPRA) is presented here. In this scenario, CPRA implements...
Saved in:
Main Author: | ,, ARPIT |
---|---|
Format: | Thesis |
Language: | English |
Published: |
2015
|
Subjects: | |
Online Access: | http://utpedia.utp.edu.my/21471/1/2015-IT-MODELING%20VERIFICATION%20AND%20ANALYSIS%20OF%20CONCURRENT%20PROBABILISTIC%20REVERSIBLE%20SYSTEMS-ARPIT.pdf http://utpedia.utp.edu.my/21471/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Online signature verification using probabilistic modeling and neural network
by: Mohamed Ahsan , Amin
Published: (2010) -
Concurrently controlled grammars
by: Mavlankulov, Gairatzhan, et al.
Published: (2018) -
Automata for Modeling Reversible Probabilistic Processes
by: Arpit, Arpit, et al.
Published: (2013) -
Probabilistic simple splicing systems
by: Selvarajoo, Mathuri, et al.
Published: (2014) -
Probabilistic splicing systems
by: Turaev, Sherzod, et al.
Published: (2013)