Descripción e implementación de tppal: un algebra q de procesos temporizados y probabilísticos

Tesis doctoral de Juan Jose Pardo Mateo Tradicionalmente, los diseñadores de sistemas concurrentes, antes de iniciar su trabajo, seleccionaban uno […]

, , , , ,