@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={} }