@article {12849, title = {Generating diagnostic information for behavioral preorders}, journal = {Distributed computing}, volume = {9}, year = {1995}, month = {1995///}, pages = {61 - 75}, author = {Celikkan,U. and Cleaveland, Rance} }