Logical characterization of bisimulation for transition relations over probability distributions with internal actions

Autores
Lee, Matías David; de Vink, Erik P.
Año de publicación
2016
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.
Fil: Lee, Matías David. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Lee, Matías David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Lee, Matías David. Université de Lyon. École Normale Supérieure de Lyon. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Centre National de la Recherche Scientifique. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Université Claude Bernard Lyon 1. Laboratoire de l'Informatique du Parallélisme; France.
Fil: de Vink, Erik P. Eindhoven University of Technology; The Netherlands.
Fil: de Vink, Erik P. Centrum Wiskunde & Informatica; The Netherlands.
In recent years the study of probabilistic transition systems has shifted to transition relations over distributions to allow for a smooth adaptation of the standard non-probabilistic apparatus. In this paper we study transition relations over probability distributions in a setting with internal actions. We provide new logics that characterize probabilistic strong, weak and branching bisimulation. Because these semantics may be considered too strong in the probabilistic context, Eisentraut et al. recently proposed weak distribution bisimulation. To show the flexibility of our approach based on the framework of van Glabbeek for the non-deterministic setting, we provide a novel logical characterization for the latter probabilistic equivalence as well.
info:eu-repo/semantics/publishedVersion
Fil: Lee, Matías David. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Lee, Matías David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Lee, Matías David. Université de Lyon. École Normale Supérieure de Lyon. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Centre National de la Recherche Scientifique. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Université Claude Bernard Lyon 1. Laboratoire de l'Informatique du Parallélisme; France.
Fil: de Vink, Erik P. Eindhoven University of Technology; The Netherlands.
Fil: de Vink, Erik P. Centrum Wiskunde & Informatica; The Netherlands.
Ciencias de la Computación
Fuente
e-ISSN 1868-8969
Materia
Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/549079

id RDUUNC_b4df98080789875110eeb189378a88da
oai_identifier_str oai:rdu.unc.edu.ar:11086/549079
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Logical characterization of bisimulation for transition relations over probability distributions with internal actionsLee, Matías Davidde Vink, Erik P.Probabilistic transition systemsWeak bisimulationsLogical characterizationTransition relation over distributionsModal logicsPonencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.Fil: Lee, Matías David. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Lee, Matías David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Lee, Matías David. Université de Lyon. École Normale Supérieure de Lyon. Laboratoire de l'Informatique du Parallélisme; France.Fil: Lee, Matías David. Centre National de la Recherche Scientifique. Laboratoire de l'Informatique du Parallélisme; France.Fil: Lee, Matías David. Université Claude Bernard Lyon 1. Laboratoire de l'Informatique du Parallélisme; France.Fil: de Vink, Erik P. Eindhoven University of Technology; The Netherlands.Fil: de Vink, Erik P. Centrum Wiskunde & Informatica; The Netherlands.In recent years the study of probabilistic transition systems has shifted to transition relations over distributions to allow for a smooth adaptation of the standard non-probabilistic apparatus. In this paper we study transition relations over probability distributions in a setting with internal actions. We provide new logics that characterize probabilistic strong, weak and branching bisimulation. Because these semantics may be considered too strong in the probabilistic context, Eisentraut et al. recently proposed weak distribution bisimulation. To show the flexibility of our approach based on the framework of van Glabbeek for the non-deterministic setting, we provide a novel logical characterization for the latter probabilistic equivalence as well.info:eu-repo/semantics/publishedVersionFil: Lee, Matías David. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Lee, Matías David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Lee, Matías David. Université de Lyon. École Normale Supérieure de Lyon. Laboratoire de l'Informatique du Parallélisme; France.Fil: Lee, Matías David. Centre National de la Recherche Scientifique. Laboratoire de l'Informatique du Parallélisme; France.Fil: Lee, Matías David. Université Claude Bernard Lyon 1. Laboratoire de l'Informatique du Parallélisme; France.Fil: de Vink, Erik P. Eindhoven University of Technology; The Netherlands.Fil: de Vink, Erik P. Centrum Wiskunde & Informatica; The Netherlands.Ciencias de la Computaciónhttps://orcid.org/0000-0001-9514-22602016info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjecthttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfLee, M. D. y de Vink, E. P. (2016). Logical characterization of bisimulation for transition relations over probability distributions with internal actions. Leibniz International Proceedings in Informatics (LIPIcs), 58. https://doi.org/10.4230/LIPIcs.MFCS.2016.291868-8969http://hdl.handle.net/11086/549079http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.29e-ISSN 1868-8969reponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNCenginfo:eu-repo/semantics/openAccess2025-09-04T12:34:54Zoai:rdu.unc.edu.ar:11086/549079Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-04 12:34:54.934Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Logical characterization of bisimulation for transition relations over probability distributions with internal actions
title Logical characterization of bisimulation for transition relations over probability distributions with internal actions
spellingShingle Logical characterization of bisimulation for transition relations over probability distributions with internal actions
Lee, Matías David
Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
title_short Logical characterization of bisimulation for transition relations over probability distributions with internal actions
title_full Logical characterization of bisimulation for transition relations over probability distributions with internal actions
title_fullStr Logical characterization of bisimulation for transition relations over probability distributions with internal actions
title_full_unstemmed Logical characterization of bisimulation for transition relations over probability distributions with internal actions
title_sort Logical characterization of bisimulation for transition relations over probability distributions with internal actions
dc.creator.none.fl_str_mv Lee, Matías David
de Vink, Erik P.
author Lee, Matías David
author_facet Lee, Matías David
de Vink, Erik P.
author_role author
author2 de Vink, Erik P.
author2_role author
dc.contributor.none.fl_str_mv https://orcid.org/0000-0001-9514-2260
dc.subject.none.fl_str_mv Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
topic Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
dc.description.none.fl_txt_mv Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.
Fil: Lee, Matías David. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Lee, Matías David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Lee, Matías David. Université de Lyon. École Normale Supérieure de Lyon. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Centre National de la Recherche Scientifique. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Université Claude Bernard Lyon 1. Laboratoire de l'Informatique du Parallélisme; France.
Fil: de Vink, Erik P. Eindhoven University of Technology; The Netherlands.
Fil: de Vink, Erik P. Centrum Wiskunde & Informatica; The Netherlands.
In recent years the study of probabilistic transition systems has shifted to transition relations over distributions to allow for a smooth adaptation of the standard non-probabilistic apparatus. In this paper we study transition relations over probability distributions in a setting with internal actions. We provide new logics that characterize probabilistic strong, weak and branching bisimulation. Because these semantics may be considered too strong in the probabilistic context, Eisentraut et al. recently proposed weak distribution bisimulation. To show the flexibility of our approach based on the framework of van Glabbeek for the non-deterministic setting, we provide a novel logical characterization for the latter probabilistic equivalence as well.
info:eu-repo/semantics/publishedVersion
Fil: Lee, Matías David. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Lee, Matías David. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Lee, Matías David. Université de Lyon. École Normale Supérieure de Lyon. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Centre National de la Recherche Scientifique. Laboratoire de l'Informatique du Parallélisme; France.
Fil: Lee, Matías David. Université Claude Bernard Lyon 1. Laboratoire de l'Informatique du Parallélisme; France.
Fil: de Vink, Erik P. Eindhoven University of Technology; The Netherlands.
Fil: de Vink, Erik P. Centrum Wiskunde & Informatica; The Netherlands.
Ciencias de la Computación
description Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.
publishDate 2016
dc.date.none.fl_str_mv 2016
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/conferenceObject
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
status_str publishedVersion
format conferenceObject
dc.identifier.none.fl_str_mv Lee, M. D. y de Vink, E. P. (2016). Logical characterization of bisimulation for transition relations over probability distributions with internal actions. Leibniz International Proceedings in Informatics (LIPIcs), 58. https://doi.org/10.4230/LIPIcs.MFCS.2016.29
1868-8969
http://hdl.handle.net/11086/549079
http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.29
identifier_str_mv Lee, M. D. y de Vink, E. P. (2016). Logical characterization of bisimulation for transition relations over probability distributions with internal actions. Leibniz International Proceedings in Informatics (LIPIcs), 58. https://doi.org/10.4230/LIPIcs.MFCS.2016.29
1868-8969
url http://hdl.handle.net/11086/549079
http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.29
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv e-ISSN 1868-8969
reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1842349686785048576
score 13.13397