Mostrando 1 - 3 Resultados de 3 Para Buscar 'Lee, Matías David' Saltar al contenido
BDU3
  • Inicio
Avanzado
  • Autor
  • Lee, Matías David
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Lee, Matías David', tiempo de consulta: 0.08s Limitar resultados
  1. 1
    Rooted branching bisimulation as a congruence for probabilistic transition systems
    por Lee, Matías David, De Vink, Erik P.
    Publicado 2022
    Aportado por: Repositorio Digital Universitario (UNC)
    Enlace del recurso
    conferenceObject
  2. 2
    Rooted branching bisimulation as a congruence for probabilistic transition systems
    por Lee, Matías David, de Vink, Erik P.
    Publicado 2022
    Aportado por: Repositorio Digital Universitario (UNC)
    Enlace del recurso
    conferenceObject
  3. 3
    Logical characterization of bisimulation for transition relations over probability distributions with internal actions
    por Lee, Matías David, de Vink, Erik P.
    Publicado 2023
    Aportado por: Repositorio Digital Universitario (UNC)
    Enlace del recurso
    Enlace del recurso
    publishedVersion conferenceObject
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda

Materias Relacionadas

Probabilistic transition systems Branching bisimulations Rules formats Logical characterization Modal logics Transition relation over distributions Weak bisimulations

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...