Model independent approach to probabilistic models

Model independent approach to probabilistic models

There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of probabilistic processes is mainly due to the difficulty caused by the discrepancy between probabilistic choices and non...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science Vol. 869; pp. 181 - 194
Main Author: Fu, Yuxi
Format: Journal Article
Language:English
Published: Elsevier B.V 12-05-2021
Subjects:
Bisimulation
Divergence
Probabilistic process
Probabilistic process
Bisimulation
Divergence
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of probabilistic processes is mainly due to the difficulty caused by the discrepancy between probabilistic choices and nondeterministic actions. The paper proposes a uniform approach to probabilistic process models and a bisimulation theory for probabilistic concurrency.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2021.04.001