dc.contributor.author | Díaz, Juan Francisco | |
dc.contributor.author | Rueda, Camilo | |
dc.date.accessioned | 2020-10-27T00:21:40Z | |
dc.date.available | 2020-10-27T00:21:40Z | |
dc.date.issued | 2000-12-01 | |
dc.identifier.issn | 2539-2115 | |
dc.identifier.issn | 1657-2831 | |
dc.identifier.uri | http://hdl.handle.net/20.500.12749/9082 | |
dc.description.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. | |
dc.format.mimetype | application/pdf | |
dc.language.iso | spa | |
dc.publisher | Universidad Autónoma de Bucaramanga UNAB | |
dc.relation | https://revistas.unab.edu.co/index.php/rcc/article/view/1127/1097 | |
dc.relation.uri | https://revistas.unab.edu.co/index.php/rcc/article/view/1127 | |
dc.rights | Derechos de autor 2000 Revista Colombiana de Computación | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | * |
dc.source | Revista Colombiana de Computación; Vol. 1 Núm. 1 (2000): Revista Colombiana de Computación; 29-45 | |
dc.subject | Innovaciones tecnológicas | |
dc.subject | Ciencia de los computadores | |
dc.subject | Desarrollo de tecnología | |
dc.subject | Ingeniería de sistemas | |
dc.subject | Investigaciones | |
dc.subject | Tecnologías de la información y las comunicaciones | |
dc.subject | TIC´s | |
dc.title | Modelos para la computación móvil | |
dc.type.driver | info:eu-repo/semantics/article | |
dc.type.local | Artículo | spa |
dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | |
dc.subject.keywords | Technological innovations | |
dc.subject.keywords | Computer science | |
dc.subject.keywords | Technology development | |
dc.subject.keywords | Systems engineering | |
dc.subject.keywords | Investigations | |
dc.subject.keywords | Information and communication technologies | |
dc.subject.keywords | ICT's | |
dc.identifier.instname | instname:Universidad Autónoma de Bucaramanga UNAB | |
dc.type.hasversion | Info:eu-repo/semantics/publishedVersion | eng |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | |
dc.identifier.repourl | repourl:https://repositorio.unbosque.edu.co | |
dc.type.redcol | http://purl.org/redcol/resource_type/CJournalArticle | |
dc.rights.creativecommons | Attribution-NonCommercial-ShareAlike 4.0 International | * |