Algebraic Specifications and Transition Graphs.

Published in: Language Design and Programming Methodology (1979)

Keyphrases

algebraic structures
graph matching
data sets
written in natural language
graph representation
graph theory
graph structure
neural network
directed graph
search algorithm
high level
specification language
reactive systems
algebraic structure
structured objects
delay insensitive
database