Modelling Calculi with Name Mobility using Graphs with Equivalences.

Paolo Baldan Fabio Gadducci Ugo Montanari

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

graph matching
connected components
graph mining
relational algebra
graph theoretic
directed graph
mobile users
graph theory
graph model
graph databases
undirected graph
series parallel
sensor networks
subgraph isomorphism
graph structures
complex structures
spanning tree
graph structure
bipartite graph
mobile agents