Roy L. Crole, Andrew D. Gordon. Relating operational and denotational semantics for input/output effects. Mathematical Structures in Computer Science, 9(2):125-158, 1999.
@article{CroleG99,
title = {Relating operational and denotational semantics for input/output effects},
author = {Roy L. Crole and Andrew D. Gordon},
year = {1999},
tags = {semantics, denotational semantics, operational semantics},
researchr = {https://researchr.org/publication/CroleG99},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {9},
number = {2},
pages = {125-158},
}