Sondre Ninive Andersen, Asbjørn Engmark Espe, Sverre Hendseth, Geir Mathisen. Formalising Nondeterministic Communication in Wireless Sensor Networks Using CSP. In 10th Mediterranean Conference on Embedded Computing, MECO 2021, Budva, Montenegro, June 7-10, 2021. pages 1-4, IEEE, 2021. [doi]
Abstract is missing.