TY  - CONF
ID  - Mosses2009IPS
T1  - Implicit Propagation in Structural Operational Semantics
A1  - Mosses, Peter D.
A1  - New, Mark J.
TI  - SOS 2008
T3  - Electr. Notes Theor. Comput. Sci.
Y1  - 2009
VL  - 229(4)
SP  - 49
EP  - 66
PB  - Elsevier
M2  - doi: 10.1016/j.entcs.2009.07.073
M1  - x-editor = {M. Hennessy and B. Klin}
M1  -  x-url = {http://homepages.inf.ed.ac.uk/bklin/SOS2008/}
ER  -
TY  - CONF
ID  - SOS2008-9
T1  - SOS 2008, 5th Workshop on Structural Operational Semantics, Reykjavik, Iceland, 6 July 2008, Proceedings
TI  - SOS 2008
T3  - Electr. Notes Theor. Comput. Sci.
Y1  - 2009
VL  - 229(4)
PB  - Elsevier
M1  - x-editor = {M. Hennessy and B. Klin}
M1  -  x-url = {http://homepages.inf.ed.ac.uk/bklin/SOS2008/}
ER  -