Compositional Reasoning for Probabilistic Finite-State Behaviors

Yuxin Deng 1 Catuscia Palamidessi 2 Jun Pang 2
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch's simple probabilistic automata. We consider strong bisimulation and observational equivalence, and provide complete axiomatizations for a language that includes parallel composition and (guarded) recursion. The presence of the parallel composition introduces various technical difficulties and some restrictions are necessary in order to achieve complete axiomatizations.
Type de document :
Chapitre d'ouvrage
Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, 〈10.1007/11601548_17〉
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00201100
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 17:01:55
Dernière modification le : mercredi 25 avril 2018 - 10:45:27
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:29:49

Fichier

par.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | LIX | PPS | X-LIX | X | PARISTECH | USPC

Citation

Yuxin Deng, Catuscia Palamidessi, Jun Pang. Compositional Reasoning for Probabilistic Finite-State Behaviors. Aart Middeldorp and Vincent van Oostrom and Femke van Raamsdonk and Roel C. de Vrijer. Processes, Terms and Cycles: Steps on the Road to Infinity, 3838, Springer, pp.309-337, 2005, Lecture Notes in Computer Science, 〈10.1007/11601548_17〉. 〈inria-00201100〉

Partager

Métriques

Consultations de la notice

309

Téléchargements de fichiers

85