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):
A lattice-theoretical perspective on adhesive categories
Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel and Barbara KönigJournal of Symbolic Computation 46 (3) 222 (2011)
https://doi.org/10.1016/j.jsc.2010.09.006
Mathematical Foundations of Computer Science 2011
Paolo Baldan, Fabio Gadducci and Pawel SobocińskiLecture Notes in Computer Science, Mathematical Foundations of Computer Science 2011 6907 48 (2011)
https://doi.org/10.1007/978-3-642-22993-0_8
An embedding theorem for adhesive categories
Stephen LackTheory and Applications of Categories 25 180 (2011)
https://doi.org/10.70930/tac/krvwzjde
Collagories: Relation-algebraic reasoning for gluing constructions
Wolfram KahlThe Journal of Logic and Algebraic Programming 80 (6) 297 (2011)
https://doi.org/10.1016/j.jlap.2011.04.006
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
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
Graph Transformations
Fernando Orejas and Leen LambersLecture Notes in Computer Science, Graph Transformations 6372 43 (2010)
https://doi.org/10.1007/978-3-642-15928-2_4
Graph Transformations
Tobias HeindelLecture Notes in Computer Science, Graph Transformations 6372 250 (2010)
https://doi.org/10.1007/978-3-642-15928-2_17
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
Graph Transformations
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale and Ugo MontanariLecture Notes in Computer Science, Graph Transformations 6372 123 (2010)
https://doi.org/10.1007/978-3-642-15928-2_9
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
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
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
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
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
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
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
684 (2008)
https://doi.org/10.1109/FSKD.2008.294
1 (2008)
https://doi.org/10.1109/WiCom.2008.1282
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
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
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
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
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
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
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
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
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
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
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
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, 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
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
Graph Transformations
Stephen Lack and Paweł SobocińskiLecture Notes in Computer Science, Graph Transformations 4178 184 (2006)
https://doi.org/10.1007/11841883_14
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
Paolo Baldan, Hartmut Ehrig and Barbara KönigLecture Notes in Computer Science, Graph Transformations 4178 153 (2006)
https://doi.org/10.1007/11841883_12
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
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
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