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
Descripción
Sumario:Ponencia presentada en el 13 International Workshop on Quantitative Aspects of Programming Languages and Systems. London, United Kingdom, April 11-12, 2015.

Ejemplares similares