A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
A b s t r a c t In this paper we describe a method for the obtention of the minimal transition system, rep. resenting a communicating system given by a set of parallel processes, avoiding the complexity of the non minimal transition system. We consider minimization with respect to observational equivalence, but the method may be adapted to any other equivalence. An interesting method to achieve this goal is to proceed by stepwise composition and minimization of the components of the system.doi:10.1007/bfb0023732 dblp:conf/cav/GrafS90 fatcat:aml6yb3u5bgttlwmzkxflx6hve