Parallelitaet in Basic LOTOS

Do, H. Trung

Vorschau

PDF
TR-95-035.pdf - Veröffentlichte Version
Download (435kB)

URL:	http://ub-madoc.bib.uni-mannheim.de/825
URN:	urn:nbn:de:bsz:180-madoc-8259
Dokumenttyp:	Arbeitspapier
Erscheinungsjahr:	1995
Titel einer Zeitschrift oder einer Reihe:	None
Sprache der Veröffentlichung:	Deutsch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
MADOC-Schriftenreihe:	Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports
Fachgebiet:	004 Informatik
Normierte Schlagwörter (SWD):	Paralleler Algorithmus , LOTOS <Programmiersprache>
Abstract:	In diesem Bericht werden Parallelitaetsbegriffe auf der True-Concurrency-Semantik (basierend auf sogenannten extended bundle event structures) fuer Basic LOTOS eingefuehrt und diskutiert. Darunter versteht man die Unterscheidung zweier aequivalenter Prozesse B1 und B2, wenn B1 (bzw. B2) im Laufe seines Ablaufs mehr Aktionen parallel zur Ausfuehrung bringen kann als B2 (bzw. B1). Ferner wird ein Ausblick auf einen Ansatz zur Parallelisierung von parallelen Prozessen gegeben.
Zusätzliche Informationen:

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

BASE: Do, H. Trung

Google Scholar: Do, H. Trung

Downloads im letzten Jahr

Sie haben einen Fehler gefunden? Teilen Sie uns Ihren Korrekturwunsch bitte hier mit: E-Mail

Eintrag anzeigen