Técnicas coalgebraicas y categóricas para el estudio de las semánticasde procesos.

Tesis doctoral de Ignacio Fabregas Alfaro De un modo general, esta tesis puede englobarse dentro del estudio de los sistemas […]

, , , , ,