dc.contributor.author | Díaz Frías, Juan Francisco | spa |
dc.contributor.author | Rueda, Camilo | spa |
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. | spa |
dc.format.mimetype | application/pdf | spa |
dc.language.iso | spa | 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.rights.uri | http://creativecommons.org/licenses/by-nc-nd/2.5/co/ | |
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 | spa |
dc.title.translated | Models for mobile computing | eng |
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 | eng |
dc.subject.keywords | Computer science | eng |
dc.subject.keywords | Technology development | eng |
dc.subject.keywords | Systems engineering | eng |
dc.subject.keywords | Investigations | eng |
dc.subject.keywords | Information and communication technologies | eng |
dc.subject.keywords | ICT's | eng |
dc.subject.keywords | Calculations | eng |
dc.subject.keywords | Mobile computing | eng |
dc.subject.keywords | Applications | eng |
dc.identifier.instname | instname:Universidad Autónoma de Bucaramanga UNAB | spa |
dc.type.hasversion | info:eu-repo/semantics/acceptedVersion | |
dc.rights.accessrights | info:eu-repo/semantics/openAccess | spa |
dc.relation.references | G. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, and G. Assayag. Pico: A calculus of
concurrent constraint ob jects for musical applications. In Workshop on Constraints and the Arts,
ECAI98, Brighton, England, 1998. | |
dc.relation.references | G. Alvarez, J. F. Diaz, L. Quesada, F. Valencia, C. Rueda, G. Tamura, and G. Assayag. Integrating
constraints and concurrent ob jects in musical applications: A calculus and its visual language.
Constraints, 2000. To appear. | |
dc.relation.references | R. Amadio and S Prasad. Modeling ip mobility. Technical Report 3301, INRIA, Sophia Antipolis,
November 1997. | |
dc.relation.references | L. Cardelli. Global computation. Sigplan Notices, 32(1):66 68, 1997. | |
dc.relation.references | L. Cardelli and A. Gordon. Mobile ambients. in Foundations of Software Science and Computational Structures, Maurice Nivat (Ed.), Lecture Notes in Computer Science, 1378:140 155,
1998. | |
dc.relation.references | L. Cardelli, G. Ghelli, and A. Gordon. Secrecy and group creation. In Proceedings of CONCUR'2000, 2000. To appear. | |
dc.relation.references | R. Milner. The polyadic -calculus: a tutorial. Technical Report ECS-LFCS-91-180, Laboratory
for Foundations of Computer Science October 1991. Also in Logic and Algebra of Speci cation, ed. F. L. Bauer, W. Brauer and H. Schwichtenberg, Springer Verlag , 1993. | |
dc.relation.references | R. Milner. Interaction. Communications of the ACM, 36(1):79 89, 1993. | |
dc.relation.references | R. Milner. Calculi for interaction. Acta Informatica, 33(8):707 737, 1996. | |
dc.relation.references | J.H. Réty. Un langage distribué concurrent avec contraintes. JFPLC-97, 1997. | |
dc.relation.references | J. Parrow R. Milner and D. Walker. A calculus of mobile processes, Parts I and II. Journal of
Information and Computation, 100:1 77, September 1992. | |
dc.relation.references | V. A. Saraswat. Concurrent Constraint Programming. The MIT Press, Cambridge, MA, 1993. | |
dc.relation.references | G. Smolka. A calculus for higher-order concurrent constraint programming with deep guards.
Research Report RR-94-03, Deutsches Forschungszentrum für Künstliche Intelligenz, Stuhlsatzenhausweg 3, D-66123 Saarbrücken, Germany, February 1994. | |
dc.relation.references | V. T. Vasconcelos. Typed concurrent ob jects. In M. Tokoro and R. Pareschi, editors, Proc. of
8th European Conference on Object-Oriented Programming (ECOOP'94), volume 821 of Lecture
Notes in Computer Science, pages 100 117. Springer-Verlag, 1994. | |
dc.relation.references | V.T. Vasconcelos, L. Lopes, F. Silva, and A. Figueira. Dityco: an experiment in code mobility
from the realm of process calculi, 1999. | |
dc.contributor.cvlac | Díaz Frías, Juan Francisco [0000086410] | spa |
dc.contributor.googlescholar | Díaz Frías, Juan Francisco [Ts0f-mcAAAAJ] | spa |
dc.contributor.googlescholar | Rueda, Camilo [wSyirisAAAAJ] | spa |
dc.contributor.orcid | Díaz Frías, Juan Francisco [0000-0002-6178-0595] | spa |
dc.contributor.orcid | Rueda, Camilo [0000-0001-8387-9644] | spa |
dc.contributor.researchgate | Díaz Frías, Juan Francisco [Juan-Diaz-97] | spa |
dc.subject.lemb | Innovaciones tecnológicas | spa |
dc.subject.lemb | Ciencias de la computación | spa |
dc.subject.lemb | Ingeniería de sistemas | spa |
dc.subject.lemb | Investigaciones | spa |
dc.subject.lemb | Tecnologías de la información y la comunicación | spa |
dc.identifier.repourl | repourl:https://repository.unab.edu.co | |
dc.description.abstractenglish | In this article we present a comparative analysis of some recently proposed mobile computing calculations. While describing the π - calculation proposed by Milner in [RMW92], a calculation of environments proposed by Cardelli and Gordon in [CG98] and PiCO; a calculation of objects and restrictions proposed by the AVISPA 1 group in [ADQ+00], they are compared and their main characteristics associated with mobile computing are discussed. Other calculations such as MCC ([R97]) and DyTyCO ([VLSF99]) are also analyzed. | eng |
dc.subject.proposal | Desarrollo tecnológico | spa |
dc.subject.proposal | Cálculos | spa |
dc.subject.proposal | Computación móvil | spa |
dc.subject.proposal | Aplicaciones | spa |
dc.type.redcol | http://purl.org/redcol/resource_type/CJournalArticle | |
dc.rights.creativecommons | Attribution-NonCommercial-ShareAlike 4.0 International | * |