A Graph Rewriting Framework for Statecharts Semantics.

Andrea Maggiolo-Schettini Adriano Peron

Published in: TAGT (1994)

Keyphrases

logical framework
weighted graph
probabilistic model
random walk
conceptual model
graph theory
formal semantics
graph based algorithm
rewriting rules