Showing 1 - 1 results of 1 for search '"Mathematical Foundations of Computer Science"', query time: 0.03s Refine Results
  1. 1

    Logical characterization of bisimulation for transition relations over probability distributions with internal actions by Lee, Matías David, de Vink, Erik P.

    Published 2023
    “…Ponencia presentada en el 41st International Symposium on Mathematical Foundations of Computer Science. Cracovia, Polonia del 22 al 26 de agosto de 2016.…”
    Get full text
    Get full text
    info:eu-repo/semantics/publishedVersion