TY  - RPRT
TI  - Abstract GSOS Rules and a Modular Treatment of Recursive Definitions
AU  - Stefan Milius
AU  - Lawrence S Moss
AU  - Daniel Schwencke
PY  - 2013
DO  - 10.2168/lmcs-9(3:28)2013
UR  - https://arxiv.org/abs/1307.2538
ID  - 1307.2538
ER  -