Hochschulschrift | Online-Publikation

Action refinement in end-based choice settings

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Mannheim, Univ., Diss., 2003

Klassifikation
Informatik
Schlagwort
Reaktives System
Nebenläufigkeit
Aktion
Verfeinerung
Prozessalgebra
Funktionale Semantik
Operationale Semantik
Vollständige Halbordnung
Terminierung
Nebenläufigkeit ; Auswahl ; Verfeinerung ; Reaktives System ; Vollständige Halbordnung ; Äquivalenz ; Kongruenz ; Transitionssystem ; Prozessalgebra,

Urheber
Fecher, Harald

URN
urn:nbn:de:bsz:180-madoc-746
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:53 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift
  • Online-Publikation

Beteiligte

  • Fecher, Harald

Ähnliche Objekte (12)