@InProceedings{KN98a,
author={M. Kwiatkowska and G. Norman},
title={A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes},
booktitle={Proc. 3rd Workshop on Computation and Approximation (Comprox III)},
year={1998},

editor={},
pages={},
organization={},
publisher={Elsevier Science},
series={Electronic Notes in Theoretical Computer Science},
volume={13},
number={},
address={},
month={},
note={},
key={}
}