Internet of things: a process calculus approach.

Ivan Lanese, Luca Bedogni, Marco Di Felice

Browse the full SAC paper archive.