Mila E. Majster-Cederbaum, Christel Baier. Metric completion versus ideal completion. In Jörg Desel, editor, Proceedings of the International Workshop on Structures in Concurrency Theory, STRICT 1995, Berlin, Germany, May 11-13, 1995. Workshops in Computing, pages 236-248, Springer, 1995. [doi]
Abstract is missing.