Treffer: Rate-Based Session Types for IoT Systems.
Title:
Rate-Based Session Types for IoT Systems.
Authors:
Iraci, Grant1 (AUTHOR) grantira@buffalo.edu, Chuang, Cheng-En1 (AUTHOR) chengenc@buffalo.edu, Hu, Raymond2 (AUTHOR) r.hu@qmul.ac.uk, Ziarek, Lukasz1 (AUTHOR) lziarek@buffalo.edu
Source:
ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-39. 39p.
Database:
Business Source Ultimate