Specification and implementation of Actors with graph rewriting.

Joseph P. Loyall Simon M. Kaplan Steven K. Goering

Published in: OOPS Messenger (1991)

Keyphrases

rewriting systems
social networks
specification language
directed graph
graph model
bipartite graph
graph representation
rewriting rules
programming language
structured data
connected components
conjunctive queries
graph theory
graph structure
weighted graph
formal specification
bayesian networks
data sets