Modelos para la computación móvil

Thumbnail
View/Open
Share this
Date
2000-12-01
Author
Rueda, Camilo
logo-ORCID  logo-GScholar  
Other contributors
Gestores bibliográficos
Metadata
Show full item record
Documents PDF
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.
Lemb keywords
Innovaciones tecnológicas; Ciencias de la computación; Ingeniería de sistemas; Investigaciones; Tecnologías de la información y la comunicación
Keywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Calculations; Mobile computing; Applications
Link to resource
Source
  • Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45
URI
http://hdl.handle.net/20.500.12749/9082
Estadísticas Google Analytics
Comments
Collections
Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International