Publication

@inproceedings{abc,
	author = {Timothy Roscoe},
	booktitle = {Proceedings of the NSF Workshop on Grand Challenges in Distributed Systems, Cambridge, MA, USA},
	title = {Comprehend the Planet},
	year = {2005}
}