A Specification Logic for Mobility
|
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
|
|
|
A Specification Logic for Mobility
|
| Id. |
41810058 |
| Idioma |
inglés
|
| Titulo |
A Specification Logic for Mobility |
| Localización |
http://citeseer.ist.psu.edu/374699.html
|
| Versión |
1.0 |
| Estado |
Final
|
| Descripción |
We present MSL, a specification logic for generic concurrent open systems with Milner-style mobility. MSL draws its expressiveness from the integration of certain operators expressing component distribution and name scoping into a first-order many-sorted logic of actions with fixed-points. MSL semantics is presented in terms of a class of generic structures, allowing its application to diverse concrete computational models, for instance process calculi and systems of mobile objects. We will also show how MSL supports reasoning about interesting aspects of such systems, like structure, creation of new entities, local names, and their dynamics.
|
| Tipo |
ps
|
| Palabras clave |
A Specification Logic for Mobility
|
| 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://ctp.di.fct.unl.pt/~lcaires/writings/MSL.ps.gz
[References] oai:CiteSeerPSU:46618
[References] oai:CiteSeerPSU:51838
[References] oai:CiteSeerPSU:147678
|
| 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.
|
|
|
|
