Inverse expansion for pure interleaving which is introduced by Pavon, Hultstroem, Quemada, Frutos and Ortega is a method for transforming a sequential finite-state process given in Basic LOTOS into two subprocesses running independently. Thereby, the sets of the gates occurring in these subprocesses are disjoint and must be given as the input parameter by a user. The property fulfilled by this transformation is the strong equivalence according to Milner. In this paper this method is generalized, i.e. the given process is transformed into more than two processes. Moreover, it is also applicable to the class of the recursive processes which is not treated by the authors mentioned above
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.