@article{Díaz_Rueda_2000, title={Modelos para la computación móvil}, volume={1}, url={https://revistas.unab.edu.co/index.php/rcc/article/view/1127}, abstractNote={<span style="font-size: xx-small; font-family: T33;"><span style="font-size: xx-small; font-family: T33;"><span style="font-family: T33; font-size: xx-small;"><span style="font-family: T33; font-size: xx-small;"><p align="left">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 <span style="mso-fareast-font-family: 'Times New Roman'; mso-fareast-theme-font: minor-fareast; mso-bidi-font-family: Calibri; mso-bidi-theme-font: minor-latin;"><span style="font-size: small; font-family: Calibri;"><span style="font-size: 8pt; line-height: 115%; mso-fareast-font-family: 'Times New Roman'; mso-fareast-theme-font: minor-fareast; mso-bidi-font-family: Calibri; mso-bidi-theme-font: minor-latin;">π -</span></span></span><span style="font-size: xx-small; font-family: T31;"><span style="font-size: xx-small; font-family: T31;"> </span></span><span style="font-size: xx-small; font-family: T33;"><span style="font-size: xx-small; font-family: T33;">cálculo propuesto por Milner en [RMW92], un cálculo de ambientes propuesto por Cardelli y Gordon en [CG98] y </span></span><span style="font-size: xx-small; font-family: T32;"><span style="font-size: xx-small; font-family: T32;">PiCO; </span></span><span style="font-size: xx-small; font-family: T33;"><span style="font-size: xx-small; font-family: T33;">un cálculo de objetos y restricciones propuesto por el grupo AVISPA </span></span><span style="font-size: xx-small; font-family: T30;"><span style="font-size: xx-small; font-family: T30;">1 </span></span><span style="font-size: xx-small; font-family: T33;"><span style="font-size: xx-small; font-family: T33;">en [ADQ</span></span><span style="font-size: xx-small; font-family: T29;"><span style="font-size: xx-small; font-family: T29;">+</span></span><span style="font-size: xx-small; font-family: T33;"><span style="font-size: xx-small; font-family: T33;">00], se comparan entre ellos y se comentan sus principales características asociadas a la computación móvil. Otros cálculos como </span></span><span style="font-size: xx-small; font-family: T32;"><span style="font-size: xx-small; font-family: T32;">MCC </span></span><span style="font-size: xx-small; font-family: T33;"><span style="font-size: xx-small; font-family: T33;">([R97]) y </span></span><span style="font-size: xx-small; font-family: T32;"><span style="font-size: xx-small; font-family: T32;">DyTyCO </span></span><span style="font-size: xx-small; font-family: T33;"><span style="font-size: xx-small; font-family: T33;">([VLSF99]) también son analizados.</span></span></p></span></span></span></span>}, number={1}, journal={Revista Colombiana de Computación}, author={Díaz, Juan Francisco and Rueda, Camilo}, year={2000}, month={dic.}, pages={29–45} }