TY - RPRT TI - Categorical Semantics of Cyber-Physical Systems Theory AU - Georgios Bakirtzis AU - Cody H. Fleming AU - Christina Vasilakopoulou PY - 2021 DO - 10.1145/3461669 UR - https://arxiv.org/abs/2010.08003 ID - 2010.08003 ER -