Safe CCSL specifications and marked graphs.

Frédéric Mallet Jean-Vivien Millo Robert de Simone

Published in: MEMOCODE (2013)

Keyphrases

directed graph
structured objects
graph matching
graph representation
real time
data model
graph theory
graph structure
formal specification
graph theoretic
graph clustering
series parallel
delay insensitive
graph isomorphism
learning technology standards