Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.

Leila Ribeiro Fernando Luís Dotti

Published in: Concurrency, Graphs and Models (2008)

Keyphrases

distributed systems
fault tolerant
message passing
distributed environment
geographically distributed
graph grammars
generative model
fault tolerance
deadlock detection
mobile agents
distributed database systems
data replication
high assurance
database
artificial intelligence
model checking