Skip to main content
Article thumbnail
Location of Repository

A generalized inverse expansion for pure interleaving

By H. Trung Do


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

Topics: 004 Informatik
Year: 1996
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.