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):

AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System

Cezara Dragoi and Gheorghe Stefanescu
Electronic Notes in Theoretical Computer Science 203 (3) 69 (2008)
DOI: 10.1016/j.entcs.2008.04.087
See this article

Some algebraic laws for spans (and their connections with multirelations)1 1Research partly supported by the EC TMR Network getgrats and by the Italian MURST Project tosca.

Roberto Bruni and Fabio Gadducci
Electronic Notes in Theoretical Computer Science 44 (3) 175 (2003)
DOI: 10.1016/S1571-0661(04)80937-X
See this article

Recent Trends in Algebraic Development Techniques

Fabio Gadducci
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 5486 152 (2009)
DOI: 10.1007/978-3-642-03429-9_11
See this article

Term Graph Rewriting and Parallel Term Rewriting

Andrea Corradini and Frank Drewes
Electronic Proceedings in Theoretical Computer Science 48 3 (2011)
DOI: 10.4204/EPTCS.48.3
See this article

A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).

Fabio Gadducci and Ugo Montanari
Electronic Notes in Theoretical Computer Science 45 88 (2001)
DOI: 10.1016/S1571-0661(04)80957-5
See this article

A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting⋆ ⋆Research partially supported by the British EPSRC grant R29375 through the University of Edinburgh; by the ESPRIT BR Working Group APPLIGRAPH through the University of Paderborn; and by the Spanish DGES project PB96-0191-CO2 through the University of the Balearic Islands.

Fabio Gadducci, Reiko Heckel and Mercé Llabrés
Electronic Notes in Theoretical Computer Science 29 80 (1999)
DOI: 10.1016/S1571-0661(05)80309-3
See this article

On Term Graphs as an Adhesive Category

Andrea Corradini and Fabio Gadducci
Electronic Notes in Theoretical Computer Science 127 (5) 43 (2005)
DOI: 10.1016/j.entcs.2005.02.014
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

GETGRATS

Andrea Corradini
Electronic Notes in Theoretical Computer Science 51 1 (2002)
DOI: 10.1016/S1571-0661(04)80191-9
See this article

A Rewriting Calculus for Cyclic Higher-order Term Graphs

C. Bertolissi, P. Baldan, H. Cirstea and C. Kirchner
Electronic Notes in Theoretical Computer Science 127 (5) 21 (2005)
DOI: 10.1016/j.entcs.2005.01.034
See this article

Categorical rewriting of term-like structures1 1Research partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems), by the ESPRIT Working Group APPLIGRAPH (Applications of Graph Transformation), and by the Italian MURST project TOSCA (Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi).

Andrea Corradini and Fabio Gadducci
Electronic Notes in Theoretical Computer Science 51 108 (2002)
DOI: 10.1016/S1571-0661(04)80195-6
See this article

GS·Λ Theories

Matteo Coccia, Fabio Gadducci and Ugo Montanari
Electronic Notes in Theoretical Computer Science 69 83 (2003)
DOI: 10.1016/S1571-0661(04)80560-7
See this article

Towards a Sharing Strategy for the Graph Rewriting Calculus

P. Baldan, C. Bertolissi, H. Cirstea and C. Kirchner
Electronic Notes in Theoretical Computer Science 204 111 (2008)
DOI: 10.1016/j.entcs.2008.03.057
See this article

Semantics-Preserving DPO-Based Term Graph Rewriting

Wolfram Kahl and Yuhang Zhao
Electronic Proceedings in Theoretical Computer Science 288 26 (2019)
DOI: 10.4204/EPTCS.288.3
See this article

CONCUR 2005 – Concurrency Theory

Roberto Bruni, Fabio Gadducci, Ugo Montanari and Paweł Sobociński
Lecture Notes in Computer Science, CONCUR 2005 – Concurrency Theory 3653 293 (2005)
DOI: 10.1007/11539452_24
See this article

Programming Languages and Systems

Fabio Gadducci
Lecture Notes in Computer Science, Programming Languages and Systems 2895 37 (2003)
DOI: 10.1007/978-3-540-40018-9_4
See this article

Formal Methods in Software and Systems Modeling

Fabio Gadducci and Ugo Montanari
Lecture Notes in Computer Science, Formal Methods in Software and Systems Modeling 3393 84 (2005)
DOI: 10.1007/978-3-540-31847-7_5
See this article

A rewriting calculus for cyclic higher-order term graphs

PAOLO BALDAN, CLARA BERTOLISSI, HORATIU CIRSTEA and CLAUDE KIRCHNER
Mathematical Structures in Computer Science 17 (3) 363 (2007)
DOI: 10.1017/S0960129507006093
See this article

Graph rewriting for the π-calculus

FABIO GADDUCCI
Mathematical Structures in Computer Science 17 (3) 407 (2007)
DOI: 10.1017/S096012950700610X
See this article

Recent Trends in Algebraic Development Techniques

Paolo Baldan and Clara Bertolissi
Lecture Notes in Computer Science, Recent Trends in Algebraic Development Techniques 7137 27 (2012)
DOI: 10.1007/978-3-642-28412-0_4
See this article