TY  - THES
AU  - Verdejo López, José Alberto
A3  - Martí Oliet, Narciso
PY  - 2004
DO  - b21812627
SN  - 978-84-669-1853-4
UR  - https://hdl.handle.net/20.500.14352/55022
AB  - La lógica de reescritura, propuesta por José Meseguer en 1990 como marco de unificación de modelos de computación concurrente, es una lógica para razonar sobre sistemas concurrentes con estado que evolucionan por medio de transiciones. Desde su...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Lenguajes de programación Semántica Tesis En línea
TI  - Maude como marco semántico ejecutable
M3  - doctoral thesis
ER  -