In: Vogt, F.H.: Lecture Notes in Computer Science, Vol. 335; Concurrency 88, pages 222-236. Berlin, Heidelberg, New York: Springer-Verlag, 1988.
Abstract: In this paper a new equivalence notion for concurrent systems is introduced: namely Exhibited Functionality- (EF-) equivalence. EF-eqivalence is defined in terms of observable global states transformations. Its main characteristics is that it takes into account the structure of the global states of the system in terms of the local states of its components.