The work focussed on understanding how the use of behavioural types for shared objects and concurrency can help in the context of Virtual Machines for sensor networks developed by our company.  Particular focus was devoted to studying lock-freedom within a linear context and preliminary models have been developed for deadlock detection and correction. This secondment was related to tasks T2.1 and T3.1; i.e., analysis of the practices of API provision and composition at GbW company in relation to the research planned in the BEHAPI project, in particular, by the University of Malta.  It also constitutes preliminary activities related to T2.4.