Artículo

On the probabilistic bisimulation spectrum with silent moves

Baier, Christel; D'argenio, Pedro RubenIcon ; Hermanns, Holger
Fecha de publicación: 10/2020
Editorial: Springer
Revista: Acta Informatica
ISSN: 0001-5903
e-ISSN: 1432-0525
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

In this paper we look at one of the seminal works of Rob van Glabbeek from a probabilistic angle. We develop the bisimulation spectrum with silent moves for probabilistic models, namelyMarkov decision processes. Especially the treatment of divergence makes this endeavour challenging. We provide operational as well as logical characterisations of a total of 32 bisimilarities.
Palabras clave: PROBABILISTIC BISIMULATION , DIVERGENCE , HENESSY MILNER LOGIC
 
Archivos asociados
Tamaño: 867.0Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/restrictedAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/143316
URL: https://link.springer.com/article/10.1007%2Fs00236-020-00379-2
DOI: http://dx.doi.org/10.1007/s00236-020-00379-2
Colecciones
Articulos(CCT - CORDOBA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - CORDOBA
Citación
Baier, Christel; D'argenio, Pedro Ruben; Hermanns, Holger; On the probabilistic bisimulation spectrum with silent moves; Springer; Acta Informatica; 57; 3-5; 10-2020; 465-512
Compartir
Altmétricas