@inproceedings{garg-fp05:cll,
	author = {Deepak Garg and Frank Pfenning},
	title = "Type-Directed Concurrency",
	booktitle = "Proceedings of the 16th International Conference on Concurrency Theory (CONCUR '05)",
	year = "2005",
	location = "San Francisco, CA, USA"
	}