Adhesive and quasiadhesive categories
RAIRO-Theor. Inf. Appl., 39 3 (2005) 511-545
Published online: 2005-07-15
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):
Structural Decomposition of Reactions of Graph-Like Objects
Tobias HeindelElectronic Proceedings in Theoretical Computer Science 32 26 (2010)
https://doi.org/10.4204/EPTCS.32.3
Theoretical Computer Science
H. J. Sander Bruggink and Barbara KönigIFIP Advances in Information and Communication Technology, Theoretical Computer Science 323 197 (2010)
https://doi.org/10.1007/978-3-642-15240-5_15
Graph Transformations
Tobias HeindelLecture Notes in Computer Science, Graph Transformations 6372 250 (2010)
https://doi.org/10.1007/978-3-642-15928-2_17
Unfolding-based diagnosis of systems with an evolving topology
Paolo Baldan, Thomas Chatain, Stefan Haar and Barbara KönigInformation and Computation 208 (10) 1169 (2010)
https://doi.org/10.1016/j.ic.2009.11.009
Towards Secrecy for Rewriting in Weakly Adhesive Categories
Tobias HeindelElectronic Notes in Theoretical Computer Science 229 (3) 97 (2009)
https://doi.org/10.1016/j.entcs.2009.06.041
Algebra and Coalgebra in Computer Science
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König and Paweł SobocińskiLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 5728 350 (2009)
https://doi.org/10.1007/978-3-642-03741-2_24
Algebra and Coalgebra in Computer Science
Tobias Heindel and Paweł SobocińskiLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 5728 335 (2009)
https://doi.org/10.1007/978-3-642-03741-2_23
Relations and Kleene Algebra in Computer Science
Wolfram KahlLecture Notes in Computer Science, Relations and Kleene Algebra in Computer Science 5827 211 (2009)
https://doi.org/10.1007/978-3-642-04639-1_15
Synthesising CCS bisimulation using graph rewriting
Filippo Bonchi, Fabio Gadducci and Barbara KönigInformation and Computation 207 (1) 14 (2009)
https://doi.org/10.1016/j.ic.2008.10.005
A Note on an Old-Fashioned Algebra for (Disconnected) Graphs
Fabio GadducciElectronic Notes in Theoretical Computer Science 253 (4) 3 (2009)
https://doi.org/10.1016/j.entcs.2009.10.014
Formal Methods in Systems Biology
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer and Jean KrivineLecture Notes in Computer Science, Formal Methods in Systems Biology 5054 103 (2008)
https://doi.org/10.1007/978-3-540-68413-8_8
Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories
Ulrike Prange, Hartmut Ehrig and Leen LambersApplied Categorical Structures 16 (3) 365 (2008)
https://doi.org/10.1007/s10485-007-9106-3
CONCUR 2008 - Concurrency Theory
Paolo Baldan, Thomas Chatain, Stefan Haar and Barbara KönigLecture Notes in Computer Science, CONCUR 2008 - Concurrency Theory 5201 203 (2008)
https://doi.org/10.1007/978-3-540-85361-9_19
1 (2008)
https://doi.org/10.1109/WiCom.2008.1282
Subobject Transformation Systems
Andrea Corradini, Frank Hermann and Paweł SobocińskiApplied Categorical Structures 16 (3) 389 (2008)
https://doi.org/10.1007/s10485-008-9127-6
Concurrency, Graphs and Models
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann and Julia PadbergLecture Notes in Computer Science, Concurrency, Graphs and Models 5065 96 (2008)
https://doi.org/10.1007/978-3-540-68679-8_7
684 (2008)
https://doi.org/10.1109/FSKD.2008.294
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
Ulrike PrangeElectronic Notes in Theoretical Computer Science 203 (6) 67 (2008)
https://doi.org/10.1016/j.entcs.2008.10.043
Graph Transformations
Filippo Bonchi, Fabio Gadducci and Tobias HeindelLecture Notes in Computer Science, Graph Transformations 5214 226 (2008)
https://doi.org/10.1007/978-3-540-87405-8_16
Graph Transformations
H. J. Sander Bruggink and Barbara KönigLecture Notes in Computer Science, Graph Transformations 5214 336 (2008)
https://doi.org/10.1007/978-3-540-87405-8_23
Modelling Calculi with Name Mobility using Graphs with Equivalences
Paolo Baldan, Fabio Gadducci and Ugo MontanariElectronic Notes in Theoretical Computer Science 176 (1) 85 (2007)
https://doi.org/10.1016/j.entcs.2006.10.028
Algebra and Coalgebra in Computer Science
Barbara KönigLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 36 (2007)
https://doi.org/10.1007/978-3-540-73859-6_3
Algebra and Coalgebra in Computer Science
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Reiko Heckel and Barbara KönigLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 126 (2007)
https://doi.org/10.1007/978-3-540-73859-6_9
Fundamental Approaches to Software Engineering
Hartmut Ehrig, Karsten Ehrig, Claudia Ermel, Frank Hermann and Gabriele TaentzerLecture Notes in Computer Science, Fundamental Approaches to Software Engineering 4422 72 (2007)
https://doi.org/10.1007/978-3-540-71289-3_7
Algebra and Coalgebra in Computer Science
Peter T. Johnstone, Stephen Lack and Paweł SobocińskiLecture Notes in Computer Science, Algebra and Coalgebra in Computer Science 4624 312 (2007)
https://doi.org/10.1007/978-3-540-73859-6_21
Adhesive DPO Parallelism for Monic Matches
Filippo Bonchi and Tobias HeindelElectronic Notes in Theoretical Computer Science 175 (4) 51 (2007)
https://doi.org/10.1016/j.entcs.2007.04.016
Unfolding semantics of graph transformation
Paolo Baldan, Andrea Corradini, Ugo Montanari and Leila RibeiroInformation and Computation 205 (5) 733 (2007)
https://doi.org/10.1016/j.ic.2006.11.004
Foundations of Software Science and Computation Structures
Paolo Baldan, Andrea Corradini, Tobias Heindel, Barbara König and Paweł SobocińskiLecture Notes in Computer Science, Foundations of Software Science and Computation Structures 3921 202 (2006)
https://doi.org/10.1007/11690634_14
CONCUR 2006 – Concurrency Theory
Paolo Baldan, Fabio Gadducci and Ugo MontanariLecture Notes in Computer Science, CONCUR 2006 – Concurrency Theory 4137 279 (2006)
https://doi.org/10.1007/11817949_19
Graph Transformations
Paolo Baldan, Hartmut Ehrig and Barbara KönigLecture Notes in Computer Science, Graph Transformations 4178 153 (2006)
https://doi.org/10.1007/11841883_12
Graph Transformations
Andrea Corradini, Tobias Heindel, Frank Hermann and Barbara KönigLecture Notes in Computer Science, Graph Transformations 4178 30 (2006)
https://doi.org/10.1007/11841883_4
Graph Transformations
Stephen Lack and Paweł SobocińskiLecture Notes in Computer Science, Graph Transformations 4178 184 (2006)
https://doi.org/10.1007/11841883_14
Algebra, Meaning, and Computation
Hartmut Ehrig and Ulrike PrangeLecture Notes in Computer Science, Algebra, Meaning, and Computation 4060 235 (2006)
https://doi.org/10.1007/11780274_13
Processes, Terms and Cycles: Steps on the Road to Infinity
Fabio Gadducci and Ugo MontanariLecture Notes in Computer Science, Processes, Terms and Cycles: Steps on the Road to Infinity 3838 106 (2005)
https://doi.org/10.1007/11601548_9
Adhesive and quasiadhesive categories
Stephen Lack and Paweł SobocińskiRAIRO - Theoretical Informatics and Applications 39 (3) 511 (2005)
https://doi.org/10.1051/ita:2005028