Now showing items 1-1 of 1

    • Bisimulations on data graphs 

      Abriola, Sergio; Barceló Baeza, Pablo; Figueira, Diego; Figueira, Santiago (AI Access Foundation, 2018)
      Bisimulation provides structural conditions to characterize indistinguishability from an external observer between nodes on labeled graphs. It is a fundamental notion used in many areas, such as verification, graph-structured ...