Mostrar el registro sencillo del ítem

Modelos para la computación móvil

dc.creatorDíaz, Juan Francisco
dc.creatorRueda, Camilo
dc.date2000-12-01
dc.date.accessioned2022-03-03T19:57:38Z
dc.date.available2022-03-03T19:57:38Z
dc.identifierhttps://revistas.unab.edu.co/index.php/rcc/article/view/1127
dc.identifier.urihttp://test.repositoriodigital.com:8080/handle/123456789/13899
dc.descriptionEn 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.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad Autónoma de Bucaramangaes-ES
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1127/1097
dc.rightsDerechos de autor 2000 Revista Colombiana de Computaciónes-ES
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/4.0es-ES
dc.sourceRevista Colombiana de Computación; Vol. 1 No. 1 (2000): Revista Colombiana de Computación (Julio-Diciembre); 29-45en-US
dc.sourceRevista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación (Julio-Diciembre); 29-45es-ES
dc.source2539-2115
dc.source1657-2831
dc.titleModelos para la computación móviles-ES
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion


Ficheros en el ítem

FicherosTamañoFormatoVer

No hay ficheros asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem