Operational semantics for signal handling - Maxim Strygin; Hayo Thielecke (EXPRESS/SOS, 2012)

Semantics and logics for signals. - Maxim Strygin (2014)