A new theory for equivalence between process specifications

New theory for equivalence between process specifications is presented in this paper. This theory is based on conformance testing; the type of testing that aims at identifying systems with distinguishable behaviours. The theory (Conformance Testing equivalence) is general enough to be not restricted to any specific formal description technique. The application of the theory is illustrated by examples of a transport layer protocol that includes a Lotos-based specification.