TY  - RPRT
TI  - A Formal Framework for Distributed Cyber-Physical Systems
AU  - Benjamin Lion
AU  - Farhad Arbab
AU  - Carolyn Talcott
PY  - 2022
UR  - https://arxiv.org/abs/2207.01048
ID  - 2207.01048
ER  -