Browsing School of Electronic Engineering and Computer Science by Author "Iraci, G"

Now showing items 1-1 of 1

    • Validating IoT Devices with Rate-Based Session Types 

      Hu, R; Iraci, G; Chuang, C-E; Ziarek, L (Association for Computing Machinery (ACM), 2023)
      We develop a session types based framework for implementing and validating rate-based message passing systems in Internet of Things (IoT) domains. To model the indefinite repetition present in many embedded and IoT systems, ...