Semánticas de pruebas para álgebras de procesos probabilísticos

Aquesta tesi apareix a les col·leccions següents