scientific article; zbMATH DE number 4049020

MaRDI QIDQ3785915zbMATH OpenFDO

Authors Paul Boehm, Hartmut Ehrig, Udo Hummert, Michael Löwe

Publication date 1987

zbMATH Keywords

algebraic theory of graph grammarsdistributed derivationsdistributed graph grammarsdistributed systemsdistribution of state graphs

Mathematics Subject Classification ID

Theory of operating systems (68N25) Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 4062632
• Process specification and verification
• scientific article; zbMATH DE number 1437942
• On structured graph grammars. I
• Hierarchically distributed graph transformation

Cited in

(19)

• Cooperating distributed hyperedge replacement grammars
• Generating irregular partitionable data structures
• Distributed Authorization with Distributed Grammars
• Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
• scientific article; zbMATH DE number 4062632 (Why is no real title available?)
• scientific article; zbMATH DE number 4078781 (Why is no real title available?)
• scientific article; zbMATH DE number 4125035 (Why is no real title available?)
• scientific article; zbMATH DE number 2016084 (Why is no real title available?)
• scientific article; zbMATH DE number 2068874 (Why is no real title available?)
• Process specification and verification
• Synchronized composition of graph grammar productions
• scientific article; zbMATH DE number 219260 (Why is no real title available?)
• scientific article; zbMATH DE number 1569120 (Why is no real title available?)
• scientific article; zbMATH DE number 1406165 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• Graph-grammar semantics of a higher-order programming language for distributed systems
• Single pushout transformations of equationally defined graph structures with applications to actor systems
• Distributed systems with simple concept graphs
• Algebraic approach to single-pushout graph transformation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3785915)