Rate-Based Session Types for IoT Devices

• Published in: ACM transactions on programming languages and systems
• Main Authors: Iraci, Grant, Chuang, Cheng-En, Hu, Raymond, Ziarek, Lukasz
• Format: Journal Article
• Language: English
• Published: 24.07.2025

We develop a session types 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, we introduce a timed process calculus with a periodic recursion primitive. This al...