Christel Baier, Mila E. Majster-Cederbaum. Denotational Semantics in the CPO and Metric Approach. Theoretical Computer Science, 135(2):171-220, 1994.
@article{BaierM94:0,
title = {Denotational Semantics in the CPO and Metric Approach},
author = {Christel Baier and Mila E. Majster-Cederbaum},
year = {1994},
tags = {semantics, denotational semantics, e-science, systematic-approach},
researchr = {https://researchr.org/publication/BaierM94%3A0},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {135},
number = {2},
pages = {171-220},
}