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

Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.

Detalles Bibliográficos
Autores principales: Lee, Matías David, de Vink, Erik P.
Otros Autores: https://orcid.org/0000-0001-9514-2260
Formato: publishedVersion conferenceObject
Lenguaje:Inglés
Publicado: 2023
Materias:
Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
Acceso en línea:http://hdl.handle.net/11086/549079
http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.29
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
id I10-R141-11086-549079
record_format dspace
spelling I10-R141-11086-5490792023-12-21T14:50:30Z Logical characterization of bisimulation for transition relations over probability distributions with internal actions Lee, Matías David de Vink, Erik P. https://orcid.org/0000-0001-9514-2260 Probabilistic transition systems Weak bisimulations Logical characterization Transition relation over distributions Modal logics Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016. 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. 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 2023-09-19T13:03:55Z 2023-09-19T13:03:55Z 2016 conferenceObject 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 eng Attribution 3.0 Unported http://creativecommons.org/licenses/by/3.0/ Impreso; Electrónico y/o Digital e-ISSN 1868-8969
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Inglés
topic Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
spellingShingle Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
Lee, Matías David
de Vink, Erik P.
Logical characterization of bisimulation for transition relations over probability distributions with internal actions
topic_facet Probabilistic transition systems
Weak bisimulations
Logical characterization
Transition relation over distributions
Modal logics
description Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.
author2 https://orcid.org/0000-0001-9514-2260
author_facet https://orcid.org/0000-0001-9514-2260
Lee, Matías David
de Vink, Erik P.
format publishedVersion
conferenceObject
author Lee, Matías David
de Vink, Erik P.
author_sort Lee, Matías David
title Logical characterization of bisimulation for transition relations over probability distributions with internal actions
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
publishDate 2023
url http://hdl.handle.net/11086/549079
http://dx.doi.org/10.4230/LIPIcs.MFCS.2016.29
work_keys_str_mv AT leematiasdavid logicalcharacterizationofbisimulationfortransitionrelationsoverprobabilitydistributionswithinternalactions
AT devinkerikp logicalcharacterizationofbisimulationfortransitionrelationsoverprobabilitydistributionswithinternalactions
_version_ 1806949952136413184

Ejemplares similares