Show simple item record

Modelos para la computación móvil

dc.contributor.authorDíaz, Juan Francisco
dc.contributor.authorRueda, Camilo
dc.date.accessioned2020-10-27T00:21:40Z
dc.date.available2020-10-27T00:21:40Z
dc.date.issued2000-12-01
dc.identifier.issn2539-2115
dc.identifier.issn1657-2831
dc.identifier.urihttp://hdl.handle.net/20.500.12749/9082
dc.description.abstractEn 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.
dc.format.mimetypeapplication/pdf
dc.language.isospa
dc.publisherUniversidad Autónoma de Bucaramanga UNAB
dc.relationhttps://revistas.unab.edu.co/index.php/rcc/article/view/1127/1097
dc.relation.urihttps://revistas.unab.edu.co/index.php/rcc/article/view/1127
dc.rightsDerechos de autor 2000 Revista Colombiana de Computación
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.sourceRevista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45
dc.subjectInnovaciones tecnológicas
dc.subjectCiencia de los computadores
dc.subjectDesarrollo de tecnología
dc.subjectIngeniería de sistemas
dc.subjectInvestigaciones
dc.subjectTecnologías de la información y las comunicaciones
dc.subjectTIC´s
dc.titleModelos para la computación móvil
dc.type.driverinfo:eu-repo/semantics/article
dc.type.localArtículospa
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1f
dc.subject.keywordsTechnological innovations
dc.subject.keywordsComputer science
dc.subject.keywordsTechnology development
dc.subject.keywordsSystems engineering
dc.subject.keywordsInvestigations
dc.subject.keywordsInformation and communication technologies
dc.subject.keywordsICT's
dc.identifier.instnameinstname:Universidad Autónoma de Bucaramanga UNAB
dc.type.hasversionInfo:eu-repo/semantics/publishedVersioneng
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.identifier.repourlrepourl:https://repositorio.unbosque.edu.co
dc.type.redcolhttp://purl.org/redcol/resource_type/CJournalArticle
dc.rights.creativecommonsAttribution-NonCommercial-ShareAlike 4.0 International*


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International