Abstractions for safe concurrent programming in networked embedded systems.

William P. McCartney, Nigamanth Sridhar

Browse the full SENSYS paper archive.