@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.} }