Fulvio Corno, M. Cusinato, M. Ferrero, Paolo Prinetto. Proving testing preorders for process algebra descriptions. In 1995 European Design and Test Conference, ED&TC 1995, Paris, France, March 6-9, 1995. pages 333-339, IEEE Computer Society, 1995. [doi]
Abstract is missing.