@article {107,
	title = {Epistemic Strategies and Games on Concurrent Processes},
	journal = {ACM Trans. Comput. Log.},
	volume = {13},
	year = {2012},
	pages = {28},
	author = {Konstantinos Chatzikokolakis and Knight, Sophia and Catuscia Palamidessi and Panangaden, Prakash}
}