Text this: Semánticas de pruebas para álgebras de procesos probabilísticos