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
- Institución
- Universidad Nacional de Córdoba
- OAI Identificador
- oai:rdu.unc.edu.ar:11086/549079
Ver los metadatos del registro completo
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 |