Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Spur (Informatik)

Von Mazurkiewicz 1977 in die Theoretische Informatik eingeführter Begriff zur Beschreibung nebenläufiger Prozesse, die aus atomaren Aktionen aufgebaut sind. Spuren können als Verallgemeinerung von Wörtern aufgefaßt, können aber auch graphentheoretisch beschrieben oder als Halbordnung aufgefaßt werden. Spuren sind die Elemente eines Spurmonoids.

Subject heading

Spur (Informatik)

Definition

Von Mazurkiewicz 1977 in die Theoretische Informatik eingeführter Begriff zur Beschreibung nebenläufiger Prozesse, die aus atomaren Aktionen aufgebaut sind. Spuren können als Verallgemeinerung von Wörtern aufgefaßt, können aber auch graphentheoretisch beschrieben oder als Halbordnung aufgefaßt werden. Spuren sind die Elemente eines Spurmonoids.

Synonym

Mazurkiewicz-Spur
Mazurkiewicz Trace
Trace (Informatik)

Related

Spurtheorie (verwandter Begriff)

Topic

Informatik, Datenverarbeitung

Source

Lex. Informatik Kommunikationstechnik als Ablauf

Record type

Allgemeinbegriff

GND-Identifier

4766571-3

Record ID

970116284

Topic of

show all

Struktur und Verhalten von verteilten endlichen Automaten

Über die Erkennbarkeit unendlicher Spuren

Über die Erkennbarkeit unendlicher Spuren

Struktur und Verhalten von verteilten endlichen Automaten

Über die Erkennbarkeit unendlicher Spuren
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal