Hochschulschrift
Compositional semantics for message sequence charts based on Petri Nets
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896876010
3896876015
- Maße
-
21 cm
- Umfang
-
136 S.
- Ausgabe
-
1. Aufl.
- Sprache
-
Englisch
- Anmerkungen
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 2002
- Schlagwort
-
Message sequence chart
Formale Semantik
Petri-Netz
- Ereignis
-
Veröffentlichung
- (wo)
-
Wettenberg
- (wer)
-
VVB Laufersweiler
- (wann)
-
2002
- Urheber
-
Kluge, Olaf
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:22 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Kluge, Olaf
- VVB Laufersweiler
Entstanden
- 2002
Ähnliche Objekte (12)
On the semantics of message sequence charts
Comments on a Proposed Semantics for Basic Message Sequence Charts
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
Adequacy of compositional translations for observational semantics
Towards a compositional semantics for locative modifiers
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Compositional partial order semantics of Petri boxes
Distributed system design with message sequence charts
On the semantics of message sequence charts
Comments on a Proposed Semantics for Basic Message Sequence Charts
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
Adequacy of compositional translations for observational semantics
Towards a compositional semantics for locative modifiers
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Compositional partial order semantics of Petri boxes
Distributed system design with message sequence charts
On the semantics of message sequence charts
Comments on a Proposed Semantics for Basic Message Sequence Charts
Implementing Message Sequence Charts in Promela
What Do Message Sequence Charts Mean?
Adequacy of compositional translations for observational semantics
Towards a compositional semantics for locative modifiers
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Compositional partial order semantics of Petri boxes