Works matching IS 09601295 AND DT 1999 AND VI 9 AND IP 2

Relating operational and denotational semantics for input/output effects.

Published in:

Mathematical Structures in Computer Science, 1999, v. 9, n. 2, p. 125, doi. 10.1017/s0960129598002709

By:

• CROLE, ROY L.;
• GORDON, ANDREW D.

Publication type:

Article