The Denotational Semantics of the Signal Statement in ATLAS.

Degui Guo, Lei Liu

Browse the full SERA paper archive.