Maude como marco semántico ejecutable
Tesis doctoral de José Alberto Verdejo López La lógica de resscritura, propuesta por josé meseguer en 1990 como marco de […]
Tesis doctoral de Frutos Escrig David De
Información academica Frutos Escrig David De. Tesis donde Frutos Escrig David De ha sido autor, director o parte del tribunal.
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
Semánticas formales para un lenguaje funcional paralelo
Tesis doctoral de Mercedes Hidalgo Herrero El objetivo del trabajo es definir semánticas formales para un lenguaje que contiene las
Tpbc: un calculo sobre redes de petri con tiempo
Tesis doctoral de Olga Marroquin Alonso En el trabajo se realiza un estudio exhaustivo de una extensión con tiempo de
Una extensión markoviana del petri box calculus
Tesis doctoral de Hermenegilda Macia Soler Datos académicos de la tesis doctoral «Una extensión markoviana del petri box calculus«
Programacion declarativa con restricciones sobre tipos de datos algebraicos.
Tesis doctoral de Purificacion Arenas Sanchez El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones
Jugando con el tiempo.
Tesis doctoral de Llana Diaz Luis Fernando En el presente trabajo hemos estudiado la semantica de pruebas para algebras de
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
Csp probabilistico: un modelo probabilistico de procesos concurrentes.
Tesis doctoral de Fernando Cuartero Gomez Datos académicos de la tesis doctoral «Csp probabilistico: un modelo probabilistico de procesos
Decidibilidad de problemas sobre redes de petri temporizadas.
Tesis doctoral de Valentin Valero Ruiz La tesis investiga cuestiones de decidibilidad sobre distintas variantes de redes de petri temporizadas.