Christel Baier, Mila E. Majster-Cederbaum. Metric Semantics from Partial Order Semantics. Acta Informatica, 34(9):701-735, 1997. [doi]
@article{BaierM97,
title = {Metric Semantics from Partial Order Semantics},
author = {Christel Baier and Mila E. Majster-Cederbaum},
year = {1997},
url = {http://link.springer.de/link/service/journals/00236/bibs/7034009/70340701.htm},
tags = {semantics, e-science},
researchr = {https://researchr.org/publication/BaierM97},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {34},
number = {9},
pages = {701-735},
}