Modelos para la computación móvil
Abstract
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.
How to Cite
Díaz, J. F., & Rueda, C. (2000). Modelos para la computación móvil. Revista Colombiana De Computación, 1(1), 29–45. Retrieved from https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1127
Downloads
Download data is not yet available.
Published
2000-12-01
Section
Article of scientific and technological research
Altmetric
Escanea para compartir
