The Denotational Semantics of the Signal Statement in ATLAS | IEEE Conference Publication | IEEE Xplore