Modelos para la computación móvil
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.
Cómo citar
Díaz, J. F., & Rueda, C. (2000). Modelos para la computación móvil. Revista Colombiana De Computación, 1(1), 29–45. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1127
Descargas
Los datos de descargas todavía no están disponibles.
Publicado
2000-12-01
Sección
Artículo de investigación científica y tecnológica
Métricas
