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.
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.
Nicholas Carriero & David Gelernter (1989):
Linda in context.
Commun. ACM 32(4),
pp. 444–458,
doi:10.1145/63334.63337.
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.
R. De Nicola, G.L. Ferrari & R. Pugliese (2000):
Programming Access Control: The Klaim Experience.
CONCUR 2000—Concurrency Theory,
pp. 48–65.
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.
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.
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.
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.
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 http://dblp.uni-trier.de/db/conf/sensornets/sensornets2012.html#HarveyDLS12.
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.
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.
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 http://doi.acm.org/10.1145/570738.570751.
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 http://www.mdpi.com/1424-8220/11/1/1059.
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 http://doi.ieeecomputersociety.org/10.1109/SUTC.2008.43.
R. Milner (1989):
Communication and concurrency.
Prentice-Hall, Inc..
Robin Milner (1999):
Communicating and Mobile Systems: The pi-Calculus.
Cambridge University Press.
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.
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.
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.
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.
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 http://dx.doi.org/10.1016/j.comcom.2007.05.036.
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.
eptcs@eptcs.org