Analysing Message Sequence Graph Specifications.
Joy ChakrabortyDeepak D'SouzaK. Narayan KumarPublished in: ISoLA (1) (2010)
Keyphrases
- random walk
- graph theory
- graph structure
- graph representation
- control flow
- directed graph
- graph model
- delay insensitive
- graph based algorithm
- graph clustering
- graph theoretic
- formal specification
- weighted graph
- connected components
- structured data
- search algorithm
- high level
- neural network
- graphical representation
- specification language
- input data
- graph search
- dependency graph