Andrea Corradini

Andrea Vandin

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

ICGT 2012 Doctoral Symposium.

[BibT_eX]

[DOI]

Gabriele Taentzer

Proceedings of the Graph Transformations - 6th International Conference, 2012

A Conceptual Framework for Adaptation.

[BibT_eX]

[DOI]

Andrea Vandin

Proceedings of the Fundamental Approaches to Software Engineering, 2012

2011

A lattice-theoretical perspective on adhesive categories.

[BibT_eX]

[DOI]

J. Symb. Comput., 2011

Term Graph Rewriting and Parallel Term Rewriting

[BibT_eX]

[DOI]

Frank Drewes

Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

Applying Process Analysis to the Italian eGovernment Enterprise Architecture.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods - 8th International Workshop, 2011

Hierarchical Models for Service-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Modeling a Service and Session Calculus with Hierarchical Graph Transformation.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

From Petri Nets to Graph Transformation Systems.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

An Institution for Graph Transformation.

[BibT_eX]

[DOI]

Leila Ribeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

ICGT 2010 Doctoral Symposium.

[BibT_eX]

[DOI]

Maarten de Mol

Proceedings of the Graph Transformations - 5th International Conference, 2010

On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 5th International Conference, 2010

On GS-Monoidal Theories for Graphs with Nesting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010

2009

Preface.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Unfolding Grammars in Adhesive Categories.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

McMillan's Complete Prefix for Contextual Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2008

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2008

A framework for the verification of infinite-state graph transformation systems.

[BibT_eX]

[DOI]

Inf. Comput., 2008

Preface.

[BibT_eX]

[DOI]

Emilio Tuosto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Subobject Transformation Systems.

[BibT_eX]

[DOI]

Frank Hermann

Pawel Sobocinski

Appl. Categorical Struct., 2008

Graph Transformation with Dependencies for the Specification of Interactive Systems.

[BibT_eX]

[DOI]

Luciana Foss

Leila Ribeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

ICGT 2008 Doctoral Symposium.

[BibT_eX]

[DOI]

Emilio Tuosto

Proceedings of the Graph Transformations, 4th International Conference, 2008

Open Petri Nets: Non-deterministic Processes and Compositionality.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, 4th International Conference, 2008

Ugo Montanari and Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

Unfolding Graph Transformation Systems: Theory and Applications to Verification.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Unfolding semantics of graph transformation.

[BibT_eX]

[DOI]

Inf. Comput., 2007

2006

Towards a Notion of Transaction in Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, 2006

A Temporal Graph Logic for Verification of Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2006

Sesqui-Pushout Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Graph Transactions as Processes.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Processes for Adhesive Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

Compositional semantics for open Petri nets based on deterministic processe.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2005

On the Concurrent Semantics of Algebraic Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Domain and event structure semantics for Petri nets with read and inhibitor arcs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

An Operational Semantics of COMMUNITY Based on Graph Transformation Systems.

[BibT_eX]

[DOI]

Dan Hirsch

Proceedings of the 2004 Workshop on Graph Transformation and Visual Modelling Techniques, 2004

On Term Graphs as an Adhesive Category.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Translating Java Code to Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Second International Conference, 2004

Specifying and Verifying UML Activity Diagrams Via Graph Transformation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing, IST/FET International Workshop, 2004

Verifying Finite-State Graph Grammars: An Unfolding-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Preface.

[BibT_eX]

[DOI]

Hans-Jörg Kreowski

Fundam. Informaticae, 2003

Verifying a Behavioural Logic for Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop of the COMETA Project on Computational Metamodels, 2003

2002

Compositional SOS and beyond: a coalgebraic view of open systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

A functorial semantics for multi-algebras and partial algebras, with applications to syntax.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Inequational Deduction as Term Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Term Graph Rewriting, 2002

Coreflective Concurrent Semantics for Single-Pushout Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

AGILE: Software Architecture for Mobility.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Bisimulation Equivalences for Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Formal and Natural Computing, 2002

2001

A Coalgebraic presentation of structured transition systems.

[BibT_eX]

[DOI]

Martin Große-Rhode

Theor. Comput. Sci., 2001

Contextual Petri Nets, Asymmetric Event Structures, and Processes.

[BibT_eX]

[DOI]

Inf. Comput., 2001

Preface.

[BibT_eX]

[DOI]

Marina Lenisa

Proceedings of the Coalgebraic Methods in Computer Science, 2001

Categorical rewriting of term-like structures.

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

A Graph Transformation View on the Specification of Applications using Mobile Code.

[BibT_eX]

[DOI]

Fernando Luís Dotti

Leila Ribeiro

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

GETGRATS: A summary of scientific results (with annotated bibliography).

[BibT_eX]

[DOI]

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Preface.

[BibT_eX]

[DOI]

Michel Bauderon

Proceedings of the GETGRATS Closing Workshop 2001, Bordeaux, France, June 22-23, 2001, 2001

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2001

A Static Analysis Technique for Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

Compositional Modeling of Reactive Systems Using Open Nets.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2001, 2001

GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.

[BibT_eX]

Hans-Jörg Kreowski

Proceedings of the Current Trends in Theoretical Computer Science, 2001

2000

Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo.

[BibT_eX]

Bull. EATCS, 2000

Graphical Operational Semantics.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Introduction: Graph Transformation and Visual Modeling Techniques.

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2000, 2000

1999

Rewriting on cyclic structures: Equivalence between the operational and the categorical description.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1999

From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 1999

An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 1999

History Preserving Bisimulation for Contextual Nets.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

Unfolding and Event Structure Semantics for Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1999

Tile Transition Systems as Structured Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998

Structured Transition Systems as Lax Coalgebras.

[BibT_eX]

[DOI]

Martin Große-Rhode

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories.

[BibT_eX]

[DOI]

Martin Große-Rhode

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Functorial Semantics for Multi-algebras.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Unfolding of Double-Pushout Graph Grammars is a Coreflection.

[BibT_eX]

[DOI]

Proceedings of the Theory and Application of Graph Transformations, 1998

Concatenable Graph Processes: Relating Processes and Derivation Traces.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Rational Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1998

An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structure, 1998

1997

GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation.

[BibT_eX]

Hans-Jörg Kreowski

Bull. EATCS, 1997

A Completeness result for equational deduction in coalgebraic specification.

[BibT_eX]

[DOI]

Proceedings of the Recent Trends in Algebraic Development Techniques, 1997

Integrating the Specification Techniques of Graph Transformation and Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.

[BibT_eX]

Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.

[BibT_eX]

Proceedings of the Handbook of Graph Grammars and Computing by Graph Transformations, 1997

A 2-Categorical Presentation of Term Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 7th International Conference, 1997

1996

Horizontal and Vertical Structuring of Typed Graph Transformation Systems.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1996

Graph Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1996

Concurrent Graph and Term Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '96, 1996

1995

Declarative Specification of the Architecture of a Software Development Environment.

[BibT_eX]

[DOI]

Vincenzo Ambriola

Paolo Ciancarini

Softw. Pract. Exp., 1995

Preface.

[BibT_eX]

[DOI]

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

A compositional approach to structuring and refinement of typed graph grammars.

[BibT_eX]

[DOI]

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Concurrent computing: from Petri nets to graph grammars.

[BibT_eX]

[DOI]

Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation, 1995

Relating Two Categorial Models of Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

CPO Models for Infinite Term Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

An Abstract Machine for Concurrent Modular Systems: CHARM.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1994

Synchronized Composition of Graph Grammar Productions.

[BibT_eX]

[DOI]

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Event Structure Semantics for Graph Grammars with Parallel Productions.

[BibT_eX]

[DOI]

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

The Category of Typed Graph Grammars and its Adjunctions with Categories.

[BibT_eX]

[DOI]

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

An Event Structure Semantics for Safe Graph Grammars.

[BibT_eX]

Proceedings of the Programming Concepts, 1994

1993

Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Term Rewriting in CT-Sigma.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

Abstract Graph Derivations in the Double Pushout Approach.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992

An Algebraic Semantics for Structured Transition Systems and its Applications to Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

A Categorial Model for Logic Programs: Indexed Monoidal Categories.

[BibT_eX]

[DOI]

Andrea Asperti

Proceedings of the Sematics: Foundations and Applications, 1992

SHARM: Concurrency and Hiding in an Abstract Rewriting Machine.

[BibT_eX]

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991

Towards innovative software engineering environments.

[BibT_eX]

[DOI]

Vincenzo Ambriola

Paolo Ciancarini

Nicoletta De Francesco

J. Syst. Softw., 1991

Logic Programming as Hypergraph Rewriting.

[BibT_eX]

[DOI]

Francesco Parisi-Presicce

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

An Algebra of Graphs and Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Science, 1991

An Algebraic Representation of Logic-Program Computations.

[BibT_eX]

Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991

1990

Towards a Process Semantics in the Logic Programming Style.

[BibT_eX]

[DOI]

Proceedings of the STACS 90, 1990

An Algebraic Semantics of Logic Programs as Structured Transition Systems.

[BibT_eX]

Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

Transition Systems with Algebraic Structure as Models of Computations.

[BibT_eX]

[DOI]

Gian-Luigi Ferrari