A generalized inverse expansion for pure interleaving


Do, H. Trung


[img]
Preview
PDF
TR-96-015.pdf - Published

Download (280kB)

URL: http://ub-madoc.bib.uni-mannheim.de/799
URN: urn:nbn:de:bsz:180-madoc-7991
Document Type: Working paper
Year of publication: 1996
Publication language: English
Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik
MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Subject: 004 Computer science, internet
Subject headings (SWD): Paralleler Algorithmus , LOTOS <Programmiersprache>
Abstract: 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.
Additional information:

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Citation Example and Export

Do, H. Trung (1996) A generalized inverse expansion for pure interleaving. Open Access [Working paper]
[img]
Preview


+ Search Authors in

BASE: Do, H. Trung

Google Scholar: Do, H. Trung

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item