Semanticas de pruebas para algebras de procesos probabilisticos.

Tesis doctoral de Manuel Nuñez Garcia En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion […]

, , , , ,