In this thesis, we have explored the possibility of bringing CSP-like concurrency modeling to an embedded environment. With the growth of IoT and embedded software, many of the hardships that come with concurrent coding in an inherently event-driven environment become more apparent. Convoluted and complex code is often used to handle the many fallacies of concurrency. We are solving this problem by ...