P. Costa, L. Mottola, A. L. Murphy, and G. P. Picco, Programming Wireless Sensor Networks with the TeenyLime Middleware
DOI : 10.1016/j.pmcj.2005.08.003

M. Ceriotti, L. Mottola, G. P. Picco, A. L. Murphy, S. Guna et al., Monitoring Heritage Buildings with Wireless Sensor Networks: The Torre Aquila Deployment, Proc. of the 8th ACM/IEEE Int. Conf. on Information Processing in Sensor Networks (IPSN), 2009.

M. Ceriotti, M. Corrà, L. Orazio, R. Doriguzzi, D. Facchin et al., Is There Light at the Ends of the Tunnel? Wireless Sensor Networks for Adaptive Lighting in Road Tunnels Table of Contents Stochastic Process Algebra and Stability Analysis of Collective Systems, Proc. of the 10th ACM/IEEE Int. Conf. on Information Processing in Sensor Networks (IPSN), 2011.

L. Bortolussi, D. Latella, and M. , Massink Modelling MAC-Layer Communications in Wireless Systems (Extended Abstract), p.16

T. Cogumbreiro, F. Martins, and .. , and Vasco Thudichum Vasconcelos Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, p.45

T. Given-wilson and D. Gorla, Component-Based Autonomic Managers for Coordination Control, p.75

L. Henrio, F. Huet, and Z. , István Scheduling Open-Nested Transactions in Distributed Transactional Memory, p.105

J. Kim, R. Palmieri, and .. , and Binoy Ravindran Peer-Based Programming Model for Coordination Patterns, p.121

E. Kühn, S. Craß, and G. , Alexander Marek, and Thomas Scheller Decidability Results for Dynamic Installation of Compensation Handlers, p.136

B. Nobakht, F. S. De-boer, and M. , Event Loop Coordination Using Meta-programming

G. Salvaneschi, J. Drechsler, and M. , Mezini Typing Progress in Communication-Centred Systems, p.236