Doktorego-tesia

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

    Universidad Complutense de Madrid