@inproceedings{2019-perez-jisbd-j2, title={Formalización de una arquitectura de computación móvil basada en Linda}, booktitle={Jornadas de PROgramación y LEnguajes PROLE, Sistedes 2019}, author={Alejandro Pérez-Vereda and Carlos {Canal} and Ernesto Pimentel}, year={2019} }