Modelos para la computación móvil
Cargando...
Fecha
Autores
Díaz Frías, Juan Francisco
Rueda, Camilo
Otros contribuidores
Director / Asesor
Título de la revista
ISSN de la revista
Título del volumen
Editor
Universidad Autónoma de Bucaramanga UNAB
Seguimiento al proceso del trabajo
Compartir
Seleccione un documento PDF para visualizar
Resumen
En este artículo presentamos un análisis comparativo de algunos cálculos de computación móvil propuestos recientemente. Al tiempo que se describen el π - cálculo propuesto por Milner en [RMW92], un cálculo de ambientes propuesto por Cardelli y Gordon en [CG98] y PiCO; un cálculo de objetos y restricciones propuesto por el grupo AVISPA 1 en [ADQ+00], se comparan entre ellos y se comentan sus principales características asociadas a la computación móvil. Otros cálculos como MCC ([R97]) y DyTyCO ([VLSF99]) también son analizados.
Descripción
Enlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45
Citación
Colecciones
Aprobación
Revisión
Complementado por
Referenciado por
Licencia Creative Commons
Excepto donde se indique lo contrario, la licencia de este ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International