@article {12789,
	title = {Type theory and concurrency},
	journal = {International Journal of Parallel Programming},
	volume = {17},
	year = {1988},
	month = {1988///},
	pages = {153 - 206},
	author = {Cleaveland, Rance and Panangaden,P.}
}
