Modelos para la computación móvil

  • Juan Francisco Díaz Universidad del Valle
  • Camilo Rueda Universidad Javeriana-Cali

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

La descarga de datos todavía no está disponible.
Publicado
2000-12-01
Sección
Artículo de investigación científica y tecnológica