Rooted branching bisimulation as a congruence for probabilistic transition systems

Mostrar todas las versiones(2)

Ponencia presentada en el 13 International Workshop on Quantitative Aspects of Programming Languages and Systems. London, United Kingdom, April 11-12, 2015.

Guardado en:

Detalles Bibliográficos
Autores principales:	Lee, Matías David, de Vink, Erik P.
Formato:	conferenceObject
Lenguaje:	Inglés
Publicado:	2022
Materias:	Branching bisimulations Probabilistic transition systems Rules formats
Acceso en línea:	http://hdl.handle.net/11086/22149
Aporte de:	Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba

Ejemplares similares

Rooted branching bisimulation as a congruence for probabilistic transition systems
por: Lee, Matías David, et al.
Publicado: (2022)

Logical characterization of bisimulation for transition relations over probability distributions with internal actions
por: Lee, Matías David, et al.
Publicado: (2023)

Bisimulation for component-based development
por: Estévez, Elsa Clara, et al.
Publicado: (2002)

A theory for the semantics of stochastic and non-deterministic continuous systems
por: Budde, Carlos Esteban, et al.
Publicado: (2021)

A theory for the semantics of stochastic and non-deterministic continuous systems
por: Budde, Carlos Esteban, et al.
Publicado: (2021)

The lattice of congruences of a finite line frame
por: Areces, Carlos Eduardo, et al.
Publicado: (2024)

Confluence in Probabilistic Rewriting
por: Díaz-Caro, A., et al.

Confluence in Probabilistic Rewriting
Publicado: (2018)

Branching rules for finite-dimensional Uq (su(3))-representations with respect to a right coideal subalgebra
por: Aldenhoven, Noud, et al.
Publicado: (2024)

Teoría de modelos, teoría de prueba, y aspectos computacionales de lógicas para razonar sobre árboles con datos
por: Abriola, Sergio Alejandro
Publicado: (2017)

Teoría de modelos, teoría de prueba, y aspectos computacionales de lógicas para razonar sobre árboles con datos
por: Abriola, Sergio Alejandro
Publicado: (2017)

Teoría de modelos, teoría de prueba, y aspectos computacionales de lógicas para razonar sobre árboles con datos
por: Abriola, Sergio Alejandro
Publicado: (2017)

Introducing probabilistic reasoning in defeasible argumentation using labeled deductive systems
por: Chesñevar, Carlos Iván, et al.
Publicado: (2002)

Transition? To rule of law? : constitutionalism and transitional justice challenged in Central & Eastern Europe /
por: Varga, Csaba, 1941-
Publicado: (2008)

Branching processes /
por: Athreya, Krishna B., 1939-
Publicado: (2004)

Dealing with Semantic Knowledge in Robotics with a Probabilistic Description Logic
por: Corrêa, Fabiano, et al.
Publicado: (2010)

Probabilistic algorithm for computed tomography
por: Clausse, Alejandro, et al.
Publicado: (2001)

Formal analysis of the communication of probabilistic knowledge
por: Vicari, Rosa, et al.
Publicado: (2006)

Logics of repeating values on data trees and branching counter systems
por: Abriola, S., et al.

Logics of repeating values on data trees and branching counter systems
Publicado: (2017)

Probabilistic Interface Automata
por: Pavese, E., et al.

Probabilistic Interface Automata
Publicado: (2016)

Branching processes in biology /
por: Kimmel, Marek, 1959-
Publicado: (2002)

Randomly-branched polymers by size exclusion chromatography with triple detection : computer simulation study for estimating errors in the distribution of molar mass and branching degree
por: Vega, Jorge Rubén, et al.
Publicado: (2018)

Distribution of modal transition systems
por: Sibay, G.E., et al.

Distribution of modal transition systems
por: Sibay, Germán Emir, et al.
Publicado: (2012)

Visibility probabilistic forecasts based on numerical retrospective forecasts and observations
por: Ruiz, J.J., et al.

Visibility probabilistic forecasts based on numerical retrospective forecasts and observations
Publicado: (2018)

Escherichia coli coculture for de novo production of esters derived of methyl-branched alcohols and multi-methyl branched fatty acids
por: Bracalente, Fernando, et al.
Publicado: (2022)

On the stability of the electronic system in transition metal dichalcogenides
por: Faraggi, M.N., et al.

On the stability of the electronic system in transition metal dichalcogenides
Publicado: (2016)

The Branch Davidians of Waco the history and beliefs of an apocalyptic sect /
por: Newport, Kenneth G. C.
Publicado: (2006)

Bisimulations on data graphs
por: Abriola, S., et al.

Bisimulations on data graphs
Publicado: (2018)

Computing isolated roots of sparse polynomial systems in affine space
por: Herrero, M.I., et al.
Publicado: (2010)

Computing isolated roots of sparse polynomial systems in affine space
por: Herrero, M.I., et al.

Computing isolated roots of sparse polynomial systems in affine space
por: Herrero, M.I., et al.
Publicado: (2010)

Computing isolated roots of sparse polynomial systems in affine space
por: Herrero, María Isabel, et al.
Publicado: (2010)

How sensitive are probabilistic precipitation forecasts to the choice of calibration algorithms and the ensemble generation method? Part I: Sensitivity to calibration methods
por: Ruiz, J.J., et al.

How sensitive are probabilistic precipitation forecasts to the choice of calibration algorithms and the ensemble generation method? Part I: Sensitivity to calibration methods
Publicado: (2012)