TY  - RPRT
TI  - Operational semantics for signal handling
AU  - Maxim Strygin
AU  - Hayo Thielecke
PY  - 2012
DO  - 10.4204/eptcs.89.11
UR  - https://arxiv.org/abs/1208.2754
ID  - 1208.2754
ER  -