Graduation details

[PhD] - Aplicação de conjuntos com famílias de equivalências e de coálgebras à semântica de linguagens com concorrência e mobilidade

May 1998 - Nov 2004

Abstract:

Start Date: 1 May 1998

End Date: 4 Nov 2004

Post-Graduation by: Elisabete Freire

Post-Graduation Supervisor(s): Luís Monteiro

Post-Graduation Jury(s):