Graph transformation units with interleaving semantics
From MaRDI portal
Publication:1578398
DOI10.1007/s001659970005zbMath0966.68114OpenAlexW2059360015WikidataQ67224407 ScholiaQ67224407MaRDI QIDQ1578398
Sabine Kuske, Hans-Joerg 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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items
Combining Graph Transformation and Algebraic Specification into Model Transformation, Graph Transformation Units – An Overview, Unnamed Item, Graph Multiset Transformation as a Framework for Massively Parallel Computation, Programmed graph transformations and graph transformation units in GRACE, GETGRATS, Algebra Transformation Systems as a Unifying Framework, Structured Modeling with GRACE, Parameterized Transformation Units, Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing, 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)., Autonomous Units and Their Semantics – The Concurrent Case
Uses Software