Denotational and Algebraic Semantics for Cyber-physical Systems.

Ran Li, Huibiao Zhu, Richard Banach

Browse the full ICECCS paper archive.