Maximale Zerlegung von parallelen Prozessen ohne Rekursion


Do, H. Trung


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

Download (551kB)

URL: http://ub-madoc.bib.uni-mannheim.de/796
URN: urn:nbn:de:bsz:180-madoc-7960
Document Type: Working paper
Year of publication: 1996
Publication language: German
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: In diesem Bericht wird eine Methode zur maximalen Zerlegung von parallelen Prozessen in (eingeschränktem) Basic LOTOS ohne Rekursion vorgestellt. Darunter versteht man die Transformation eines vorgegebenen Prozesses in einen äquivalenten Prozeß bestehend aus mehreren Teilprozessen, die unabhängig voneinander parallel ablaufen. Dabei ist die Anzahl dieser Teilprozesse maximal. Im Vergleich zu der bekannten Methode "Inverse Expansion" ist die Anzahl der Teilprozesse nicht auf zwei beschränkt, und es werden keine Aktionenmengen zweier Teilprozesse, die bei "Inverse Expansion" erforderlich sind, als Vorgabe benötigt. Außerdem sind die Aktionenmengen der Teilprozesse im allgemeinen nicht disjunkt, d.h. die Zerlegung von nichtdeterministischen Prozessen ist auch erlaubt. Ferner wird im Zusammenhang mit der Zerlegungsmethode eine weitere Methode für eine Teilsprache Basic LOTOS vorgestellt, die die Rückführung von Semantik, in diesem Fall einer Ereignisstruktur, zur Syntax ermöglicht.
Additional information:

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




+ Citation Example and Export

Do, H. Trung (1996) Maximale Zerlegung von parallelen Prozessen ohne Rekursion. 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