Mostrar el registro sencillo del ítem
dc.contributor.author
Baier, Christel
dc.contributor.author
D'argenio, Pedro Ruben
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Hermanns, Holger
dc.date.available
2021-10-12T18:19:51Z
dc.date.issued
2020-10
dc.identifier.citation
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
dc.identifier.issn
0001-5903
dc.identifier.uri
http://hdl.handle.net/11336/143316
dc.description.abstract
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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/restrictedAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
PROBABILISTIC BISIMULATION
dc.subject
DIVERGENCE
dc.subject
HENESSY MILNER LOGIC
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
On the probabilistic bisimulation spectrum with silent moves
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2021-09-29T14:49:32Z
dc.identifier.eissn
1432-0525
dc.journal.volume
57
dc.journal.number
3-5
dc.journal.pagination
465-512
dc.journal.pais
Alemania
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Berlín
dc.description.fil
Fil: Baier, Christel. Technische Universität Dresden; Alemania
dc.description.fil
Fil: D'argenio, Pedro Ruben. Universitat Saarland; Alemania. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba; Argentina
dc.description.fil
Fil: Hermanns, Holger. Universitat Saarland; Alemania. Institute of Intelligent Software; China
dc.journal.title
Acta Informatica
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007%2Fs00236-020-00379-2
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00236-020-00379-2
Archivos asociados