Rooted branching bisimulation as a congruence for probabilistic transition systems
Ponencia presentada en el 13 International Workshop on Quantitative Aspects of Programming Languages and Systems. London, United Kingdom, April 11-12, 2015.
Guardado en:
Autores principales: | , |
---|---|
Formato: | conferenceObject |
Lenguaje: | Inglés |
Publicado: |
2022
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/22149 |
Aporte de: |
id |
I10-R14111086-22149 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de Córdoba |
institution_str |
I-10 |
repository_str |
R-141 |
collection |
Repositorio Digital Universitario (UNC) |
language |
Inglés |
topic |
Branching bisimulations Probabilistic transition systems Rules formats |
spellingShingle |
Branching bisimulations Probabilistic transition systems Rules formats Lee, Matías David De Vink, Erik P. Rooted branching bisimulation as a congruence for probabilistic transition systems |
topic_facet |
Branching bisimulations Probabilistic transition systems Rules formats |
description |
Ponencia presentada en el 13 International Workshop on Quantitative Aspects of Programming Languages and Systems. London, United Kingdom, April 11-12, 2015. |
format |
conferenceObject |
author |
Lee, Matías David De Vink, Erik P. |
author_facet |
Lee, Matías David De Vink, Erik P. |
author_sort |
Lee, Matías David |
title |
Rooted branching bisimulation as a congruence for probabilistic transition systems |
title_short |
Rooted branching bisimulation as a congruence for probabilistic transition systems |
title_full |
Rooted branching bisimulation as a congruence for probabilistic transition systems |
title_fullStr |
Rooted branching bisimulation as a congruence for probabilistic transition systems |
title_full_unstemmed |
Rooted branching bisimulation as a congruence for probabilistic transition systems |
title_sort |
rooted branching bisimulation as a congruence for probabilistic transition systems |
publishDate |
2022 |
url |
http://hdl.handle.net/11086/22149 |
work_keys_str_mv |
AT leematiasdavid rootedbranchingbisimulationasacongruenceforprobabilistictransitionsystems AT devinkerikp rootedbranchingbisimulationasacongruenceforprobabilistictransitionsystems |
bdutipo_str |
Repositorios |
_version_ |
1764820395302584321 |