Browsing by Author "495bb50c-0cb5-489f-a7dc-0be6ffb5780d"
Now showing items 1-1 of 1
-
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 ...