Volume 402, Number 1, July 2008
Algorithmic Aspects of Wireless Sensor Networks
Volume 402, Numbers 2-3, August 2008
Trustworthy Global Computing
: Spatial-behavioral types for concurrency and resource control in distributed systems.
: Using bisimulation proof techniques for the analysis of distributed abstract machines.