Lista de

BISIMULACION
2
Senarruzza Anabia, Diego Norberto. (2023). "Bisimulación de Data-aware Communicating Finite State Machines con propiedades en las acciones". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Grinberg, Alejandro Daniel. (2016). "Algoritmos incrementales de actualización para aproximaciones de bisimulación en XPath con datos". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.