Abstractions for safe concurrent programming in networked embedded systems