TY  - RPRT
TI  - Dynamic Structural Operational Semantics
AU  - Christian Johansen
AU  - Olaf Owe
PY  - 2018
UR  - https://arxiv.org/abs/1612.00666
ID  - 1612.00666
ER  -