@InProceedings{CNP09,
author={K. Chatzikokolakis and G. Norman and D. Parker},
title={Bisimulation for demonic schedulers},
booktitle={12th International Conference on Foundations of Software Science and Computation Structures (FOSSACS'09)},
year={2009},

editor={L. de Alfaro},
pages={318-332},
organization={},
publisher={Springer},
series={LNCS},
volume={5504},
address={},
month={},
note={},
key={}
}