@Inproceedings{EPTCS347.5, author = {Lion, Benjamin and Arbab, Farhad and Talcott, Carolyn}, year = {2021}, title = {A Semantic Model for Interacting Cyber-Physical Systems}, editor = {Lange, Julien and Mavridou, Anastasia and Safina, Larisa and Scalas, Alceste}, booktitle = {{\rm Proceedings 14th} Interaction and Concurrency Experience, {\rm Online, 18th June 2021}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {347}, publisher = {Open Publishing Association}, pages = {77-95}, doi = {10.4204/EPTCS.347.5}, }