Now showing items 1-1 of 1
Using CSP to Model and Analyze TinyOS Applications
(University of Canterbury. Electrical and Computer Engineering, 2009)
The TinyOS concurrency model, although easier to reason about than shared-state threads, may still produce undesirable behavior as a result of unexpected interleaving of concurrent activities. This is problematic, since ...