![](/img/cover-not-exists.png)
Relating operational and denotational semantics for input/output effects
CROLE, ROY L., GORDON, ANDREW D.Volume:
9
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/s0960129598002709
Date:
April, 1999
File:
PDF, 317 KB
english, 1999