Graph rewriting, constraint solving and tiles for coordinating distributed systems

DOI10.1023/A:1008693303228zbMath0949.68083MaRDI QIDQ1971975

Ugo Montanari, Francesca Rossi

Publication date: 5 December 2000

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

graph rewriting; constraint solving; tile model

Mathematics Subject Classification ID

05C65: Hypergraphs

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68R10: Graph theory (including graph drawing) in computer science

68Q42: Grammars and rewriting systems

18A15: Foundations, relations to logic and deductive systems

Related Items

Normal forms for algebras of connections., Models of Computation: A Tribute to Ugo Montanari’s Vision