Lista de

SEMANTICA OPERACIONAL
2
Zeitoune, Giselle Elizabeth. (2023). "Un cálculo-λ cronometrado". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Lamela, Emanuel. (2020). "Una caracterización operacional para modelos de consistencia transaccional". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.