3 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.PL2008
The Mob core language and abstract machine (rev 0.2)
Herve Paulino, Luis Lopes
Most current mobile agent systems are based on programming languages whose semantics are difficult to prove correct as they lack an adequate underlying formal theory. In recent yea…
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…