Parallelitaet in Basic LOTOS

Do, H. Trung

Preview

PDF
TR-95-035.pdf - Published
Download (435kB)

URL:	http://ub-madoc.bib.uni-mannheim.de/825
URN:	urn:nbn:de:bsz:180-madoc-8259
Document Type:	Working paper
Year of publication:	1995
The title of a journal, publication series:	None
Publication language:	German
Institution:	School of Business Informatics and Mathematics > Sonstige - Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik
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 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.
Additional information:

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

BASE: Do, H. Trung

Google Scholar: Do, H. Trung

Downloads per month over past year

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

Show item