Maude como marco semántico ejecutable
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 definición, se ha propuesto a la lógica de reesc...
Main Author: | |
---|---|
Corporate Author: | |
Format: | Libros Digitales |
Language: | Spanish |
Published: |
Madrid :
Universidad Complutense de Madrid,
2003.
|
Subjects: | |
Online Access: | https://elibro.net/ereader/elibrounam/88259 |