Extension del lambda-cálculo para la modelizacion de procesos concurrentes

Aquesta tesi apareix a les col·leccions següents