@INPROCEEDINGS {5145,
author={L.B.L. Lopes and F. Martins and M.S.S. Silva and J. Barros},
doi={},
booktitle={International Conf. on Sensor Technologies and Applications},
title={A Process Calculus Approach to Sensor Networks},
year={2007},
month={October},
volume={-},
pages={---} 
}