TY  - RPRT
TI  - Behaviorally Typed State Machines in TypeScript for Heterogeneous Swarms
AU  - Roland Kuhn
AU  - Alan Darmasaputra
PY  - 2023
DO  - 10.1145/3597926.3604917
UR  - https://arxiv.org/abs/2306.09068
ID  - 2306.09068
ER  -