(In)finite Trace Equivalence of Probabilistic Transition Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

(In)finite Trace Equivalence of Probabilistic Transition Systems

Résumé

We show how finite and infinite trace semantics of generative probabilistic transition systems arises through a determinisation construction. This enables the use of bisimulations (up-to) to prove equivalence. In particular, it follows that trace equivalence for finite probabilistic transition systems is decidable. Further, the determinisation construction applies to both discrete and continuous probabilistic systems.
Fichier principal
Vignette du fichier
473364_1_En_7_Chapter.pdf (465.22 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02044641 , version 1 (21-02-2019)

Licence

Paternité

Identifiants

Citer

Alexandre Goy, Jurriaan Rot. (In)finite Trace Equivalence of Probabilistic Transition Systems. 14th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2018, Thessaloniki, Greece. pp.100-121, ⟨10.1007/978-3-030-00389-0_7⟩. ⟨hal-02044641⟩
86 Consultations
73 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More