Xuhui Li, Jiannong Cao, Yanxiang He. A Language for Description and Verification of Mobile Agent Algorithms. In 2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China. pages 546-553, IEEE Computer Society, 2004. [doi]
@inproceedings{LiCH04,
title = {A Language for Description and Verification of Mobile Agent Algorithms},
author = {Xuhui Li and Jiannong Cao and Yanxiang He},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/cit/2004/2216/00/22160546abs.htm},
tags = {mobile},
researchr = {https://researchr.org/publication/LiCH04},
cites = {0},
citedby = {0},
pages = {546-553},
booktitle = {2004 International Conference on Computer and Information Technology (CIT 2004), 14-16 September 2004, Wuhan, China},
publisher = {IEEE Computer Society},
isbn = {0-7695-2216-5},
}