Hochschulschrift
Compositional semantics for message sequence charts based on Petri Nets
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783896876010
3896876015
- Dimensions
-
21 cm
- Extent
-
136 S.
- Edition
-
1. Aufl.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Berlin, Techn. Univ., Diss., 2002
- Keyword
-
Message sequence chart
Formale Semantik
Petri-Netz
- Event
-
Veröffentlichung
- (where)
-
Wettenberg
- (who)
-
VVB Laufersweiler
- (when)
-
2002
- Creator
-
Kluge, Olaf
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:22 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Kluge, Olaf
- VVB Laufersweiler
Time of origin
- 2002
Other Objects (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