Tesis doctoral de mario Bravetti

Información academica mario Bravetti. Tesis donde mario Bravetti ha sido autor, director o parte del tribunal.

Semanticas para álgebras de procesos estocásticos no markovianos

Tesis doctoral de Natalia López Barquilla En esta tesis se ha realizado un estudio de semánticas para álgebras de procesos […]

De Frutos Escrig David, Fernando Cuartero Gomez, Javier Campos laclaustra, Manuel Nuñez garcia, mario Bravetti, Natalia López Barquilla

Especificación de sistemas concurrentes usando conceptos de teoría económica: sintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr

Tesis doctoral de Ismael Rodríguez Laguna El problema de la distribución de recursos computacionales entre las entidades concurrentes presentes en

Fernando Cuartero Gomez, Frutos Escrig David De, Ismael Rodríguez Laguna, Manuel Nuñez garcia, mario Bravetti, rosa Cavalli ana