Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

This article has been cited by the following article(s):

Rewriting in Free Hypergraph Categories

Fabio Zanasi
Electronic Proceedings in Theoretical Computer Science 263 16 (2017)
DOI: 10.4204/EPTCS.263.2
See this article

Foundations of Software Science and Computation Structures

Fernando Orejas, Artur Boronat, Ulrike Golas and Nikos Mylonakis
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 7794 113 (2013)
DOI: 10.1007/978-3-642-37075-5_8
See this article

CONCUR 2008 - Concurrency Theory

Paolo Baldan, Thomas Chatain, Stefan Haar and Barbara König
Lecture Notes in Computer Science, CONCUR 2008 - Concurrency Theory 5201 203 (2008)
DOI: 10.1007/978-3-540-85361-9_19
See this article

Relational and Algebraic Methods in Computer Science

Wolfram Kahl
Lecture Notes in Computer Science, Relational and Algebraic Methods in Computer Science 10226 193 (2017)
DOI: 10.1007/978-3-319-57418-9_12
See this article

Foundations of Software Science and Computation Structures

Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte and Arend Rensink
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 11425 169 (2019)
DOI: 10.1007/978-3-030-17127-8_10
See this article

Graph Transformation, Specifications, and Nets

Andrea Corradini, Dominique Duval, Michael Löwe, et al.
Lecture Notes in Computer Science, Graph Transformation, Specifications, and Nets 10800 1 (2018)
DOI: 10.1007/978-3-319-75396-6_1
See this article

Graph Transformation, Specifications, and Nets

Barbara König, Dennis Nolte, Julia Padberg and Arend Rensink
Lecture Notes in Computer Science, Graph Transformation, Specifications, and Nets 10800 83 (2018)
DOI: 10.1007/978-3-319-75396-6_5
See this article

Graph Transformation, Specifications, and Nets

Guilherme Grochau Azzi, Jonas Santos Bezerra, Leila Ribeiro, et al.
Lecture Notes in Computer Science, Graph Transformation, Specifications, and Nets 10800 160 (2018)
DOI: 10.1007/978-3-319-75396-6_9
See this article

Foundations of Software Science and Computational Structures

Mathias Hülsbusch and Barbara König
Lecture Notes in Computer Science, Foundations of Software Science and Computational Structures 7213 361 (2012)
DOI: 10.1007/978-3-642-28729-9_24
See this article

Some facets of Horn covarieties in a category

Maurice Kianpi and Celestin Nkuimi-Jugnia
Journal of Algebra and Its Applications 17 (05) 1850097 (2018)
DOI: 10.1142/S0219498818500974
See this article

Graph Transformation

Jonathan Hayman and Tobias Heindel
Lecture Notes in Computer Science, Graph Transformation 8571 177 (2014)
DOI: 10.1007/978-3-319-09108-2_12
See this article

Graph Transformation

Andrea Corradini and Reiko Heckel
Lecture Notes in Computer Science, Graph Transformation 8571 207 (2014)
DOI: 10.1007/978-3-319-09108-2_14
See this article

Graph Transformation

Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer and Sandro Stucki
Lecture Notes in Computer Science, Graph Transformation 8571 161 (2014)
DOI: 10.1007/978-3-319-09108-2_11
See this article

Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories

Ulrike Prange
Electronic Notes in Theoretical Computer Science 203 (6) 67 (2008)
DOI: 10.1016/j.entcs.2008.10.043
See this article

A Note on an Old-Fashioned Algebra for (Disconnected) Graphs

Fabio Gadducci
Electronic Notes in Theoretical Computer Science 253 (4) 3 (2009)
DOI: 10.1016/j.entcs.2009.10.014
See this article

New Wide Classes of Weakly Mal’tsev Categories

Nelson Martins-Ferreira
Applied Categorical Structures 23 (5) 741 (2015)
DOI: 10.1007/s10485-014-9377-4
See this article

Fundamental Approaches to Software Engineering

Fernando Orejas, Elvira Pino and Marisa Navarro
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering 12076 273 (2020)
DOI: 10.1007/978-3-030-45234-6_14
See this article

Recent Trends in Algebraic Development Techniques

Wolfram Kahl
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 11563 87 (2019)
DOI: 10.1007/978-3-030-23220-7_5
See this article

Recent Trends in Algebraic Development Techniques

Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr and Gabriele Taentzer
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 11563 139 (2019)
DOI: 10.1007/978-3-030-23220-7_8
See this article

Graph Transformation

Jens Kosiol, Lars Fritsche, Andy Schürr and Gabriele Taentzer
Lecture Notes in Computer Science, Graph Transformation 11629 38 (2019)
DOI: 10.1007/978-3-030-23611-3_3
See this article

Graph Transformation

Nebras Nassar, Jens Kosiol, Thorsten Arendt and Gabriele Taentzer
Lecture Notes in Computer Science, Graph Transformation 11629 177 (2019)
DOI: 10.1007/978-3-030-23611-3_11
See this article

Programming Languages and Systems

Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Paweł Sobociński and Fabio Zanasi
Lecture Notes in Computer Science, Programming Languages and Systems 10201 141 (2017)
DOI: 10.1007/978-3-662-54434-1_6
See this article

Lex colimits

Richard Garner and Stephen Lack
Journal of Pure and Applied Algebra 216 (6) 1372 (2012)
DOI: 10.1016/j.jpaa.2012.01.003
See this article

Rule-based transformation of graph rewriting rules: Towards higher-order graph grammars

Rodrigo Machado, Leila Ribeiro and Reiko Heckel
Theoretical Computer Science 594 1 (2015)
DOI: 10.1016/j.tcs.2015.01.034
See this article

Structured Operational Semantics for Graph Rewriting

Andrei Dorman and Tobias Heindel
Electronic Proceedings in Theoretical Computer Science 59 37 (2011)
DOI: 10.4204/EPTCS.59.4
See this article

RPO semantics for mobile ambients

FILIPPO BONCHI, FABIO GADDUCCI and GIACOMA VALENTINA MONREALE
Mathematical Structures in Computer Science 24 (4) (2014)
DOI: 10.1017/S0960129512000333
See this article

Being Van Kampen is a universal property

Pawel Sobocinski, Tobias Heindel and Andrzej Tarlecki
Logical Methods in Computer Science 7 (1) (2011)
DOI: 10.2168/LMCS-7(1:14)2011
See this article

Subobject Transformation Systems

Andrea Corradini, Frank Hermann and Paweł Sobociński
Applied Categorical Structures 16 (3) 389 (2008)
DOI: 10.1007/s10485-008-9127-6
See this article

Unfolding-based diagnosis of systems with an evolving topology

Paolo Baldan, Thomas Chatain, Stefan Haar and Barbara König
Information and Computation 208 (10) 1169 (2010)
DOI: 10.1016/j.ic.2009.11.009
See this article

Synthesising CCS bisimulation using graph rewriting

Filippo Bonchi, Fabio Gadducci and Barbara König
Information and Computation 207 (1) 14 (2009)
DOI: 10.1016/j.ic.2008.10.005
See this article

A categorial approach to reaction systems: First steps

Hans-Jörg Kreowski and Aaron Lye
Theoretical Computer Science (2020)
DOI: 10.1016/j.tcs.2020.08.013
See this article

Graph Transformation

Guilherme Grochau Azzi, Andrea Corradini and Leila Ribeiro
Lecture Notes in Computer Science, Graph Transformation 10887 99 (2018)
DOI: 10.1007/978-3-319-92991-0_7
See this article

Avoiding unnecessary information loss: correct and efficient model synchronization based on triple graph grammars

Lars Fritsche, Jens Kosiol, Andy Schürr and Gabriele Taentzer
International Journal on Software Tools for Technology Transfer (2020)
DOI: 10.1007/s10009-020-00588-7
See this article

Symbolic graphs for attributed graph constraints

Fernando Orejas
Journal of Symbolic Computation 46 (3) 294 (2011)
DOI: 10.1016/j.jsc.2010.09.009
See this article

Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories

Hanna Schölzel, Hartmut Ehrig, Maria Maximova, Karsten Garbriel and Frank Hermann
Electronic Proceedings in Theoretical Computer Science 93 83 (2012)
DOI: 10.4204/EPTCS.93.5
See this article

Collagories: Relation-algebraic reasoning for gluing constructions

Wolfram Kahl
The Journal of Logic and Algebraic Programming 80 (6) 297 (2011)
DOI: 10.1016/j.jlap.2011.04.006
See this article

Software Technologies: Applications and Foundations

Andrea Corradini
Lecture Notes in Computer Science, Software Technologies: Applications and Foundations 9946 101 (2016)
DOI: 10.1007/978-3-319-50230-4_8
See this article

Unfolding semantics of graph transformation

Paolo Baldan, Andrea Corradini, Ugo Montanari and Leila Ribeiro
Information and Computation 205 (5) 733 (2007)
DOI: 10.1016/j.ic.2006.11.004
See this article

Modelling Calculi with Name Mobility using Graphs with Equivalences

Paolo Baldan, Fabio Gadducci and Ugo Montanari
Electronic Notes in Theoretical Computer Science 176 (1) 85 (2007)
DOI: 10.1016/j.entcs.2006.10.028
See this article

Tensors, !-graphs, and Non-commutative Quantum Structures

Aleks Kissinger and David Quick
New Generation Computing 34 (1-2) 87 (2016)
DOI: 10.1007/s00354-016-0203-4
See this article

Formal analysis of model transformations based on triple graph grammars

FRANK HERMANN, HARTMUT EHRIG, ULRIKE GOLAS and FERNANDO OREJAS
Mathematical Structures in Computer Science 24 (4) (2014)
DOI: 10.1017/S0960129512000370
See this article

Robustness and closure properties of recognizable languages in adhesive categories

H.J. Sander Bruggink, Barbara König and Sebastian Küpper
Science of Computer Programming 104 71 (2015)
DOI: 10.1016/j.scico.2014.08.006
See this article

A lattice-theoretical perspective on adhesive categories

Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel and Barbara König
Journal of Symbolic Computation 46 (3) 222 (2011)
DOI: 10.1016/j.jsc.2010.09.006
See this article

Towards Secrecy for Rewriting in Weakly Adhesive Categories

Tobias Heindel
Electronic Notes in Theoretical Computer Science 229 (3) 97 (2009)
DOI: 10.1016/j.entcs.2009.06.041
See this article

Algebra and Coalgebra in Computer Science

Tobias Heindel and Paweł Sobociński
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 5728 335 (2009)
DOI: 10.1007/978-3-642-03741-2_23
See this article

Adhesive DPO Parallelism for Monic Matches

Filippo Bonchi and Tobias Heindel
Electronic Notes in Theoretical Computer Science 175 (4) 51 (2007)
DOI: 10.1016/j.entcs.2007.04.016
See this article

Equilibrium and termination II: the case of Petri nets

VINCENT DANOS and NICOLAS OURY
Mathematical Structures in Computer Science 23 (02) 290 (2013)
DOI: 10.1017/S0960129512000126
See this article

CONCUR 2006 – Concurrency Theory

Paolo Baldan, Fabio Gadducci and Ugo Montanari
Lecture Notes in Computer Science, CONCUR 2006 – Concurrency Theory 4137 279 (2006)
DOI: 10.1007/11817949_19
See this article

Tracelets and Tracelet Analysis Of Compositional Rewriting Systems

Nicolas Behr
Electronic Proceedings in Theoretical Computer Science 323 44 (2020)
DOI: 10.4204/EPTCS.323.4
See this article

Partial pullback complement rewriting

A.R. Shir Ali Nasab and S.N. Hosseini
Theoretical Computer Science 594 44 (2015)
DOI: 10.1016/j.tcs.2015.04.006
See this article

On the essence and initiality of conflicts in M-adhesive transformation systems

Guilherme Grochau Azzi, Andrea Corradini and Leila Ribeiro
Journal of Logical and Algebraic Methods in Programming 109 100482 (2019)
DOI: 10.1016/j.jlamp.2019.100482
See this article

Software Technologies: Applications and Foundations

Lars Fritsche, Jens Kosiol, Andy Schürr and Gabriele Taentzer
Lecture Notes in Computer Science, Software Technologies: Applications and Foundations 11176 415 (2018)
DOI: 10.1007/978-3-030-04771-9_30
See this article

The PBPO graph transformation approach

Andrea Corradini, Dominique Duval, Rachid Echahed, Frédéric Prost and Leila Ribeiro
Journal of Logical and Algebraic Methods in Programming 103 213 (2019)
DOI: 10.1016/j.jlamp.2018.12.003
See this article

Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories

Ulrike Prange, Hartmut Ehrig and Leen Lambers
Applied Categorical Structures 16 (3) 365 (2008)
DOI: 10.1007/s10485-007-9106-3
See this article

Fundamental Approaches to Software Engineering

Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann and Gabriele Taentzer
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering 4422 72 (2007)
DOI: 10.1007/978-3-540-71289-3_7
See this article

Algebra and Coalgebra in Computer Science

Peter T. Johnstone, Stephen Lack and Paweł Sobociński
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 312 (2007)
DOI: 10.1007/978-3-540-73859-6_21
See this article

Algebra and Coalgebra in Computer Science

Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel and Barbara König
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 126 (2007)
DOI: 10.1007/978-3-540-73859-6_9
See this article

Algebra and Coalgebra in Computer Science

Barbara König
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 36 (2007)
DOI: 10.1007/978-3-540-73859-6_3
See this article

Formal Methods in Systems Biology

Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer and Jean Krivine
Lecture Notes in Computer Science, Formal Methods in Systems Biology 5054 103 (2008)
DOI: 10.1007/978-3-540-68413-8_8
See this article

Concurrency, Graphs and Models

Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann and Julia Padberg
Lecture Notes in Computer Science, Concurrency, Graphs and Models 5065 96 (2008)
DOI: 10.1007/978-3-540-68679-8_7
See this article

Graph Transformations

H. J. Sander Bruggink and Barbara König
Lecture Notes in Computer Science, Graph Transformations 5214 336 (2008)
DOI: 10.1007/978-3-540-87405-8_23
See this article

Graph Transformations

Filippo Bonchi, Fabio Gadducci and Tobias Heindel
Lecture Notes in Computer Science, Graph Transformations 5214 226 (2008)
DOI: 10.1007/978-3-540-87405-8_16
See this article

Structural Decomposition of Reactions of Graph-Like Objects

Tobias Heindel
Electronic Proceedings in Theoretical Computer Science 32 26 (2010)
DOI: 10.4204/EPTCS.32.3
See this article

Algebra and Coalgebra in Computer Science

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König and Paweł Sobociński
Lecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 5728 350 (2009)
DOI: 10.1007/978-3-642-03741-2_24
See this article

Relations and Kleene Algebra in Computer Science

Wolfram Kahl
Lecture Notes in Computer Science, Relations and Kleene Algebra in Computer Science 5827 211 (2009)
DOI: 10.1007/978-3-642-04639-1_15
See this article

Graph Transformations

Paolo Baldan, Hartmut Ehrig and Barbara König
Lecture Notes in Computer Science, Graph Transformations 4178 153 (2006)
DOI: 10.1007/11841883_12
See this article

Graph Transformations

Andrea Corradini, Tobias Heindel, Frank Hermann and Barbara König
Lecture Notes in Computer Science, Graph Transformations 4178 30 (2006)
DOI: 10.1007/11841883_4
See this article

Graph Transformations

Stephen Lack and Paweł Sobociński
Lecture Notes in Computer Science, Graph Transformations 4178 184 (2006)
DOI: 10.1007/11841883_14
See this article

Foundations of Software Science and Computation Structures

Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König and Paweł Sobociński
Lecture Notes in Computer Science, Foundations of Software Science and Computation Structures 3921 202 (2006)
DOI: 10.1007/11690634_14
See this article

Processes, Terms and Cycles: Steps on the Road to Infinity

Fabio Gadducci and Ugo Montanari
Lecture Notes in Computer Science, Processes, Terms and Cycles: Steps on the Road to Infinity 3838 106 (2005)
DOI: 10.1007/11601548_9
See this article

Theoretical Computer Science

H. J. Sander Bruggink and Barbara König
IFIP Advances in Information and Communication Technology, Theoretical Computer Science 323 197 (2010)
DOI: 10.1007/978-3-642-15240-5_15
See this article

Graph Transformations

Fernando Orejas and Leen Lambers
Lecture Notes in Computer Science, Graph Transformations 6372 43 (2010)
DOI: 10.1007/978-3-642-15928-2_4
See this article

Graph Transformations

Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale and Ugo Montanari
Lecture Notes in Computer Science, Graph Transformations 6372 123 (2010)
DOI: 10.1007/978-3-642-15928-2_9
See this article

Graph Transformations

Tobias Heindel
Lecture Notes in Computer Science, Graph Transformations 6372 250 (2010)
DOI: 10.1007/978-3-642-15928-2_17
See this article

Algebra, Meaning, and Computation

Hartmut Ehrig and Ulrike Prange
Lecture Notes in Computer Science, Algebra, Meaning, and Computation 4060 235 (2006)
DOI: 10.1007/11780274_13
See this article

Mathematical Foundations of Computer Science 2011

Paolo Baldan, Fabio Gadducci and Pawel Sobociński
Lecture Notes in Computer Science, Mathematical Foundations of Computer Science 2011 6907 48 (2011)
DOI: 10.1007/978-3-642-22993-0_8
See this article

Fundamental Approaches to Software Engineering

Lars Fritsche, Jens Kosiol, Andy Schürr and Gabriele Taentzer
Lecture Notes in Computer Science, Fundamental Approaches to Software Engineering 11424 116 (2019)
DOI: 10.1007/978-3-030-16722-6_7
See this article

Recognizable languages of arrows and cospans

H. J. SANDER BRUGGINK and BARBARA KÖNIG
Mathematical Structures in Computer Science 28 (8) 1290 (2018)
DOI: 10.1017/S096012951800018X
See this article

Multi-amalgamation of rules with application conditions in -adhesive categories

ULRIKE GOLAS, ANNEGRET HABEL and HARTMUT EHRIG
Mathematical Structures in Computer Science 24 (4) (2014)
DOI: 10.1017/S0960129512000345
See this article

Finitary -adhesive categories

KARSTEN GABRIEL, BENJAMIN BRAATZ, HARTMUT EHRIG and ULRIKE GOLAS
Mathematical Structures in Computer Science 24 (4) (2014)
DOI: 10.1017/S0960129512000321
See this article

-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

HARTMUT EHRIG, ULRIKE GOLAS, ANNEGRET HABEL, LEEN LAMBERS and FERNANDO OREJAS
Mathematical Structures in Computer Science 24 (4) (2014)
DOI: 10.1017/S0960129512000357
See this article

Processes and unfoldings: concurrent computations in adhesive categories

PAOLO BALDAN, ANDREA CORRADINI, TOBIAS HEINDEL, BARBARA KÖNIG and PAWEŁ SOBOCIŃSKI
Mathematical Structures in Computer Science 24 (4) (2014)
DOI: 10.1017/S096012951200031X
See this article

Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions

FRANK HERMANN, ANDREA CORRADINI and HARTMUT EHRIG
Mathematical Structures in Computer Science 24 (4) (2014)
DOI: 10.1017/S0960129512000382
See this article

Recent Trends in Algebraic Development Techniques

Andrea Corradini, Fabio Gadducci and Leila Ribeiro
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 7137 160 (2012)
DOI: 10.1007/978-3-642-28412-0_11
See this article

Graph Transformations

Annegret Habel and Detlef Plump
Lecture Notes in Computer Science, Graph Transformations 7562 218 (2012)
DOI: 10.1007/978-3-642-33654-6_15
See this article

Graph Transformations

Fernando Orejas, Artur Boronat and Nikos Mylonakis
Lecture Notes in Computer Science, Graph Transformations 7562 126 (2012)
DOI: 10.1007/978-3-642-33654-6_9
See this article

Specifying graph languages with type graphs

Andrea Corradini, Barbara König and Dennis Nolte
Journal of Logical and Algebraic Methods in Programming 104 176 (2019)
DOI: 10.1016/j.jlamp.2019.01.005
See this article

Fraction, Restriction, and Range Categories From Stable Systems of Morphisms

S.N. Hosseini, A.R. Shir Ali Nasab and W. Tholen
Journal of Pure and Applied Algebra 106361 (2020)
DOI: 10.1016/j.jpaa.2020.106361
See this article

Adhesive and quasiadhesive categories

Stephen Lack and Paweł Sobociński
RAIRO - Theoretical Informatics and Applications 39 (3) 511 (2005)
DOI: 10.1051/ita:2005028
See this article

Double-pushout-rewriting in S-Cartesian functor categories: Rewriting theory and application to partial triple graphs

Jens Kosiol, Lars Fritsche, Andy Schürr and Gabriele Taentzer
Journal of Logical and Algebraic Methods in Programming 115 100565 (2020)
DOI: 10.1016/j.jlamp.2020.100565
See this article

Constructing optimized constraint-preserving application conditions for model transformation rules

Nebras Nassar, Jens Kosiol, Thorsten Arendt and Gabriele Taentzer
Journal of Logical and Algebraic Methods in Programming 114 100564 (2020)
DOI: 10.1016/j.jlamp.2020.100564
See this article

Graph Transformation

Nicolas Behr and Jean Krivine
Lecture Notes in Computer Science, Graph Transformation 12150 185 (2020)
DOI: 10.1007/978-3-030-51372-6_11
See this article