uSOL: A programming language for sensor networks
Ramesh Bharadwaj, Anupama Biswas, Jerry James, Supratik Mukhopadhyay · Conference proceedings · 2007
We present an event-driven synchronous programming environment for coordinating and reorganizing sensor networks. More precisely, we present a synchronous programming language uSOL (secure operations language with uncertainty) that has capabilities of handling service invocations asynchronously, provides strong typing to ensure enforcement of information flow and security policies, has constructs for handling uncertainty, and has the ability to deal with failures (both benign and byzantine) of network components.