The difference between splitting in n and n+1

Abstract: "It is established that durational and structural aspects of actions can in general not be modeled in interleaving semantics, even when a time-consuming action is represented by a pair of instantaneous events denoting its start and finish. By means of a series of counterexamples it is...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Glabbeek, Rob van (VerfasserIn), Vaandrager, Frits W. (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Amsterdam 1995
Schriftenreihe:Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,53
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de