Pragmatic and semantic aspects of a module concept for graph transformation systems
From MaRDI portal
Publication:4645272
DOI10.1007/3-540-61228-9_84zbMath1412.68105OpenAlexW1582735816MaRDI QIDQ4645272
Publication date: 10 January 2019
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61228-9_84
Related Items (7)
Graph Transformation Units – An Overview ⋮ A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). ⋮ A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques ⋮ Structured Modeling with GRACE ⋮ Parameterized Transformation Units ⋮ An Abstract Module Concept for Graph Transformation Systems ⋮ Formal software specification with refinements and modules of typed graph transformation systems
Cites Work
- Algebraic approach to single-pushout graph transformation
- Parallel and distributed derivations in the single-pushout approach
- On structured graph grammars. I
- Graph-grammars and their application to computer science. 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
- Models for the substitution axiom of UNITY logic
- Functorial theory of parameterized specifications in a general specification framework
- Institutions: abstract model theory for specification and programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Pragmatic and semantic aspects of a module concept for graph transformation systems