3 citations · 5 across the 2 of their papers we have counts for
2 papers
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…