PNAL: Un modelo algebraico para procesos probabilísticos y no deterministas

Aquesta tesi apareix a les col·leccions següents