Graph rewriting, constraint solving and tiles for coordinating distributed systems
From MaRDI portal
Publication:1971975
DOI10.1023/A:1008693303228zbMath0949.68083MaRDI QIDQ1971975
Francesca Rossi, Ugo Montanari
Publication date: 5 December 2000
Published in: Applied Categorical Structures (Search for Journal in Brave)
Hypergraphs (05C65) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Foundations, relations to logic and deductive systems (18A15)
Related Items
Tiles for Reo, Models of Computation: A Tribute to Ugo Montanari’s Vision, GETGRATS, A Connector Algebra for P/T Nets Interactions, Normal forms for algebras of connections.
