Safe system-level concurrency on resource-constrained nodes.

Francisco Sant'Anna, Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, Olaf Landsiedel, Philippas Tsigas

Browse the full SENSYS paper archive.