Graph transformation units with interleaving semantics

DOI10.1007/S001659970005MaRDI QIDQ1578398zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Sabine Kuske, Hans-Jörg Kreowski

Publication date 27 August 2000

Published in Formal Aspects of Computing (Search for Journal in Brave)

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

zbMATH Keywords

transformation unit

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• On the interleaving semantics of transformation units -- a step into GRACE
• Publication:4438780
• Parameterized transformation units
• Graph Transformations
• Formal Methods in Software and Systems Modeling

Cited in

(20)

• Programmed graph transformations and graph transformation units in GRACE
• Graph transformation units guided by a SAT solver
• Autonomous units and their semantics -- the concurrent case
• Algebra transformation systems as a unifying framework
• Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing
• Graph Transformations
• scientific article; zbMATH DE number 2016077 (Why is no real title available?)
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
• Structured modeling with GRACE
• Parameterized transformation units
• scientific article; zbMATH DE number 1629837 (Why is no real title available?)
• GETGRATS: a summary of scientific results (with annotated bibliography)
• The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter
• Formal Methods in Software and Systems Modeling
• Undecidable control conditions in graph transformation units
• A graph-transformational approach for proving the correctness of reductions between NP-problems
• Graph Transformation Units – An Overview
• Combining graph transformation and algebraic specification into model transformation
• Graph Multiset Transformation as a Framework for Massively Parallel Computation
• On the interleaving semantics of transformation units -- a step into GRACE

Describes a project that uses

Uses Software

• DIEGO
• DACTL

This page was built for publication: Graph transformation units with interleaving semantics

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