250 citations · 1.2k across the 35 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2007★ 3 cited
A Formal Model for Programming Wireless Sensor Networks
Luis Lopes, Francisco Martins, Miguel S. Silva +1
In this paper we present new developments in the expressiveness and in the theory of a Calculus for Sensor Networks (CSN). We combine a network layer of sensor devices with a local…
cs.DC2006★ 2 cited
A Calculus for Sensor Networks
Miguel S. Silva, Francisco Martins, Luis Lopes +1
We consider the problem of providing a rigorous model for programming wireless sensor networks. Assuming that collisions, packet losses, and errors are dealt with at the lower laye…