Transformations of structures: An algebraic approach

DOI10.1007/BF01752403zbMath0491.68035OpenAlexW1963498955MaRDI QIDQ3953162

Józef Winkowski, Barry K. Rosen, Andrea Maggiolo-Schettini, Hartmut Ehrig, Hans-Joerg Kreowski

Publication date: 1981

Published in: Mathematical Systems Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01752403

zbMATH Keywords

abstract structure transformationsalgebraic and categorical approach to the problem of transforming structures

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Categories of machines, automata (18B20)

Related Items (14)

Parallelism and concurrency in high-level replacement systems ⋮ Canonical derivations for high-level replacement systems ⋮ Relational structures and their partial morphisms in view of single pushout rewriting ⋮ Single pushout transformations of equationally defined graph structures with applications to actor systems ⋮ Parallel high-level replacement systems ⋮ Graph expressions and graph rewritings ⋮ Foundations of rule-based design of modular systems ⋮ Some fundamental algebraic tools for the semantics of computation. III: Indexed categories ⋮ Confluence for graph transformations ⋮ Relational graph rewritings ⋮ The monadic second-order logic of graphs. VII: Graphs as relational structures ⋮ On categorical graph grammars integrating structural transformations and operations on labels ⋮ Parallel and distributed derivations in the single-pushout approach ⋮ Semantics of algorithmic languages

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computing in systems described by equations
• Computation on graph-like expressions
• Optimal evaluations of graph-like expressions
• Speeding up subtree replacement systems
• Applications of graph grammar theory to consistency, synchronization and scheduling in data base systems
• Dynamics of discrete systems and pattern reproduction
• Graph grammars and applications to specialization and evolution in biology
• Grammars on partial graphs
• Relational production systems
• Graph-grammars and their application to computer science and biology. International workshop Bad Honnef, October 30 November 3, 1978
• The Mathematics of Record Handling
• A class of replacement systems with simple optimality theory
• Minimal and Optimal Computations of Recursive Programs
• Automata in general algebras
• A relational model of data for large shared data banks
• Heterogeneous algebras

This page was built for publication: Transformations of structures: An algebraic approach