Mapping Tile Logic into Rewriting Logic
|
Descargar SCORM
Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).
Para poder solicitar este recurso debe identificarse como usuario de la biblioteca
|
| |
Ver
Detalles del recurso
|
|
|
Mapping Tile Logic into Rewriting Logic
|
| Id. |
41571175 |
| Idioma |
inglés
|
| Titulo |
Mapping Tile Logic into Rewriting Logic |
| Localización |
http://citeseer.ist.psu.edu/137078.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
.
1 Introduction
Mapping Tile Logic into Rewriting Logic
meseguer@csl.sri.com
ugo@di.unipi.it
Jos'e Meseguer and Ugo Montanari
Rewriting logic [27, 28, 31] extends to concurrent systems with state changes the
body of theory developed within the algebraic semantics approach. It can also be
Rewriting logic
Tile logic
membership equational logic
2
double
2VH-categories
internal strategies
uniform
Metodi e Strumenti per la Progettazione e la
Verifica di Sistemi Eterogenei Connessi mediante Reti di Comunicazione
CONFER2 COORDINA
Computer Science Laboratory, SRI International, Menlo Park,
Dipartimento di Informatica, Universit`a di Pisa,
extends to concurrent systems with state
changes the body of theory developed within the algebraic semantics approach.
It is both a foundational tool and the kernel language of several
implementation efforts (Cafe, ELAN, Maude). extends (unconditional)
rewriting logic since it takes into account state changes with
side effects and synchronization. It is ...
|
| Tipo |
ps
|
| Palabras clave |
Mapping Tile Logic into Rewriting Logic
|
| Tipo de Interactividad |
Expositivo
|
| Nivel de Interactividad |
muy bajo
|
| Audiencia |
Estudiante
Profesor
Autor
|
| Estructura |
Atomic |
| Coste |
no
|
| Copyright |
sí
|
|
unrestricted |
| Formatos |
ps
|
| Requerimientos técnicos |
Browser: Any
|
| Relación |
[IsBasedOn] http://www.di.unipi.it/~ugo/wadt.ps
[References] oai:CiteSeerPSU:8934
|
| Fecha de contribución |
31-mar-2009 |
|
|
|
|
Valoración de los usuarios
No hay ninguna valoración para este recurso. Sea el primero en
valorar este recurso.
|
|
|
|
