Lista de

SOC
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.
Davidovich Caballero, Ezequiel. (2020). "Autómatas para la vinculación parcial de servicios". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.