Relating operational and denotational semantics for input/output effects

DOI10.1017/S0960129598002709MaRDI QIDQ4248540zbMATH OpenOpenAlexFDO

Authors Roy L. Crole, Andrew D. Gordon

Publication date 17 October 2000

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129598002709

zbMATH Keywords

metalanguagesemantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2079038
• On the relations between monadic semantics
• From operational to denotational semantics
• Comodels and effects in mathematical operational semantics
• Towards Effects in Mathematical Operational Semantics

Cited in

(5)

• Upper Bounds on Stream I/O Using Semantic Interpretations
• scientific article; zbMATH DE number 2079038 (Why is no real title available?)
• scientific article; zbMATH DE number 819768 (Why is no real title available?)
• Towards Effects in Mathematical Operational Semantics
• On the relations between monadic semantics

This page was built for publication: Relating operational and denotational semantics for input/output effects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4248540)