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://revistas.unab.edu.co/rcc/article/view/1127
Downloads
Download data is not yet available.
Published
2000-12-01
Section
Article of scientific and technological research
Escanea para compartir
| Article metrics | |
|---|---|
| Abstract views | |
| Galley views | |
| PDF Views | |
| HTML views | |
| Other views | |
