@article {12821, title = {A preorder for partial process specifications}, journal = {CONCUR{\textquoteright}90 Theories of Concurrency: Unification and Extension}, year = {1990}, month = {1990///}, pages = {141 - 151}, author = {Cleaveland, Rance and Steffen,B.} }