1. Ian F. Akyildiz & Ismail H. Kasimoglu (2004): Wireless sensor and actor networks: research challenges. Ad Hoc Networks 2(4), pp. 351 – 367, doi:10.1016/j.adhoc.2004.04.003. Available at
  2. D. Balasubramaniam, A. Dearle & R. Morrison (2008): A composition-based approach to the construction and dynamic reconfiguration of wireless sensor network applications. In: Software Composition. Springer, pp. 206–214, doi:10.1007/978-3-540-78789-1_16.
  3. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gianluigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto & Betti Venneri (2003): The Klaim Project: Theory and Practice. Global Computing: Programming Environments, Languages, Security and Analysis of Systems 2874, pp. 88–150, doi:10.1007/978-3-540-40042-4_4.
  4. Doina Bucur & Marta Kwiatkowska (2011): On software verification for sensor nodes. Journal of Systems and Software 84(10), pp. 1693 – 1707, doi:10.1016/j.jss.2011.04.054. Available at
  5. Nicholas Carriero & David Gelernter (1989): Linda in context. Commun. ACM 32(4), pp. 444–458, doi:10.1145/63334.63337.
  6. R. De Nicola, G.L. Ferrari & R. Pugliese (1998): KLAIM: a kernel language for agents interaction and mobility. Software Engineering, IEEE Transactions on 24(5), pp. 315 –330, doi:10.1109/32.685256.
  7. R. De Nicola, G.L. Ferrari & R. Pugliese (2000): Programming Access Control: The Klaim Experience. CONCUR 2000—Concurrency Theory, pp. 48–65.
  8. R. De Nicola, D. Gorla & R. Pugliese (2006): On the expressive power of KLAIM-based calculi. Theoretical Computer Science 356(3), pp. 387–421, doi:10.1016/j.tcs.2006.02.007.
  9. A. Dearle, D. Balasubramaniam, J. Lewis & R. Morrison (2008): A component-based model and language for wireless sensor network applications. In: Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International. IEEE, pp. 1303–1308, doi:10.1109/COMPSAC.2008.151.
  10. M. Diaz, D. Garrido, L. Llopis, B. Rubio & J.M. Troya (2006): A Component Framework for Wireless Sensor and Actor Networks. In: Emerging Technologies and Factory Automation, 2006. ETFA '06. IEEE Conference on, pp. 300 –307, doi:10.1109/ETFA.2006.355382.
  11. A. Dunkels, B. Gronvall & T. Voigt (2004): Contiki-a lightweight and flexible operating system for tiny networked sensors. In: Local Computer Networks, 2004. 29th Annual IEEE International Conference on. IEEE, pp. 455–462, doi:10.1109/LCN.2004.38.
  12. Adrian Francalanza & Matthew Hennessy (2008): A theory of system behaviour in the presence of node and link failure. Information and Computation 206(6), pp. 711 – 759, doi:10.1016/j.ic.2007.12.002. Available at
  13. Paul Harvey, Alan Dearle, Jonathan Lewis & Joseph S. Sventek (2012): Channel and Active Component Abstractions for WSN Programming - A Language Model with Operating System Support.. In: Marten van Sinderen, Octavian Postolache & César Benavente-Peces: SENSORNETS. SciTePress, pp. 35–44. Available at
  14. J. Khalil Jacoub, R. Liscano & J. Bradbury (2011): A Survey of Modeling Techniques for Wireless Sensor Networks. In: SENSORCOMM 2011, The Fifth International Conference on Sensor Technologies and Applications, pp. 103–109.
  15. J. Khalil Jacoub, R. Liscano & J. Bradbury (2012): Assessment of Software Modeling Techniques for Wireless Sensor Networks: A Survey. Sensors and Transducers 14-2, pp. 18–46.
  16. Alan M. Mainwaring, David E. Culler, Joseph Polastre, Robert Szewczyk & John Anderson (2002): Wireless sensor networks for habitat monitoring. In: WSNA, pp. 88–97. Available at
  17. Diego Martinez, Apolinar Gonzalez, Francisco Blanes, Raul Aquino, Jose Simo & Alfons Crespo (2011): Formal Specification and Design Techniques for Wireless Sensor and Actuator Networks. Sensors 11(1), pp. 1059–1077, doi:10.3390/s110101059. Available at
  18. Elena Meshkova, Janne Riihijärvi, Frank Oldewurtel, Christine Jardak & Petri Mähönen (2008): Service-Oriented Design Methodology for Wireless Sensor Networks: A View through Case Studies. In: SUTC, pp. 146–153. Available at
  19. R. Milner (1989): Communication and concurrency. Prentice-Hall, Inc..
  20. Robin Milner (1999): Communicating and Mobile Systems: The pi-Calculus. Cambridge University Press.
  21. Robin Milner, Joachim Parrow & David Walker (1992): A calculus of mobile processes, I. Inf. Comput. 100(1), pp. 1–40, doi:10.1016/0890-5401(92)90008-4.
  22. V.A. Oleshchuk (2003): Ad-hoc sensor networks: modeling, specification and verification. In: Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2003. Proceedings of the Second IEEE International Workshop on. IEEE, pp. 76–79, doi:10.1109/IDAACS.2003.1249521.
  23. M.P. Papazoglou (2003): Service-oriented computing: concepts, characteristics and directions. In: Web Information Systems Engineering, 2003. WISE 2003. Proceedings of the Fourth International Conference on, pp. 3 – 12, doi:10.1109/WISE.2003.1254461.
  24. M. Patrignani, N. Matthys, J. Proenca, D. Hughes & D. Clarke (2012): Formal analysis of policies in wireless sensor network applications. In: Software Engineering for Sensor Network Applications (SESENA), 2012 Third International Workshop on, pp. 15 –21, doi:10.1109/SESENA.2012.6225728.
  25. Abdelmounaam Rezgui & Mohamed Eltoweissy (2007): Service-oriented sensor-actuator networks: Promises, challenges, and the road ahead. Computer Communications 30(13), pp. 2627–2648. Available at
  26. O. Sharma, J. Lewis, A. Miller, A. Dearle, D. Balasubramaniam, R. Morrison & J. Sventek (2009): Towards verifying correctness of wireless sensor network applications using Insense and SPIN. Model Checking Software 5578, pp. 223–240, doi:10.1007/978-3-642-02652-2_19.

Comments and questions to:
For website issues: