Mostrar el registro sencillo del ítem

dc.contributor.author
Baier, Christel  
dc.contributor.author
D'argenio, Pedro Ruben  
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  
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  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
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  
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  
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
Tamaño: 867.0Kb
Formato: PDF
.