@InProceedings{SL94,
author={R. Segala and N. Lynch},
title={Probabilistic Simulations for Probabilistic Processes},
booktitle={Proc. 5th International Conference on Concurrency Theory (CONCUR'94)},
year={1994},

editor={B. Jonsson and J. Parrow},
pages={481--496},
organization={},
publisher={Springer},
series={LNCS},
volume={836},
address={},
month={},
note={},
key={}
}