Modelos para la computación móvil

Thumbnail
Comparte este contenido
Fecha
2000-12-01
Autor
Díaz, Juan Francisco
Rueda, Camilo
Metadatos
Mostrar el registro completo del ítem
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.
Keywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's
Enlace al recurso
https://revistas.unab.edu.co/index.php/rcc/article/view/1127
URI
http://hdl.handle.net/20.500.12749/9082
Colecciones
Attribution-NonCommercial-ShareAlike 4.0 International
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-ShareAlike 4.0 International