Searching for "Semantics of Message Sequence Charts." – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
An algebraic semantics of Message Sequence Charts
- …An algebraic semantics of Message Sequence Charts S. Mauw M.A. Reniers Dept. of Mathematics…
- Cited by 8 (8 self) – Add To MetaCart
-
Static Semantics of Message Sequence Charts
- …Static Semantics of Message Sequence Charts M.A. Reniers Department of Mathematics and Computing…
- Cited by 3 (0 self) – Add To MetaCart
-
An Algebraic Semantics for Message Sequence Chart Documents
- … An Algebraic Semantics for Message Sequence Chart Documents Thomas Gehrke, Michaela Huhn , Arend Rensink, Heike…
- Cited by 15 (5 self) – Add To MetaCart
-
A Process-based Semantics for Message Sequence Charts with Data
- …A Process-based Semantics for Message Sequence Charts with Data Abstract Message Sequence Charts…
- Add To MetaCart
-
An Algebraic Semantics of Basic Message Sequence Charts
- …An Algebraic Semantics of Basic Message Sequence Charts S. Mauw and M. A. Reniers Department…
- Cited by 64 (12 self) – Add To MetaCart
-
Message Sequence Chart: Syntax and Semantics
- … Message Sequence Chart Syntax and Semantics Reniers, Michel Adriaan Message Sequence Chart…
- Cited by 35 (4 self) – Add To MetaCart
-
Specification of Tools for Message Sequence Charts
- … of the semantics of Message Sequence Charts enables the derivation of tools for MSCs directly from this formal…
- Add To MetaCart
-
What Do Message Sequence Charts Mean?
- … a semantics for Message Sequence Charts (MSCs). Our requirements are: to determine unambiguously…
- Cited by 19 (3 self) – Add To MetaCart
-
Implementing and Verifying Scenario-Based Specifications
- … ned a nite state semantics for Message Sequence Charts (MSCs) and suggested a translation of MSC speci…
- Add To MetaCart
-
An Automaton Interpretation of Message Sequence Charts
- …An Automaton Interpretation of Message Sequence Charts Peter B. Ladkin Stefan Leue University…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
