Term graph rewriting

D Plump - Handbook Of Graph Grammars And Computing By …, 1999 - World Scientific
Term graph rewriting is concerned with the representation of functional expressions as
graphs, and the evaluation of these expressions by rule-based graph transformation …

[图书][B] Category theory for computing science

M Barr, C Wells - 1990 - math.mcgill.ca
This book is a textbook in basic category theory, written specifically to be read by
researchers and students in computing science. We expound the constructions we feel are …

The tile model

F Gadducci, U Montanari - 2000 - direct.mit.edu
It is not an overstatement to say that, in the latest years, there has been an unprecedented
flow of proposals, aiming at methodologies that could offer a flexible framework (intended as …

An algebraic presentation of term graphs, via gs-monoidal categories

A Corradini, F Gadducci - Applied Categorical Structures, 1999 - Springer
We present a categorical characterization of term graphs (ie, finite, directed acyclic graphs
labeled over a signature) that parallels the well-known characterization of terms as arrows of …

An inductive view of graph transformation

F Gadducci, R Heckel - International Workshop on Algebraic Development …, 1997 - Springer
The dynamic behavior of rule-based systems (like term rewriting systems [24], process
algebras [27], and so on) can be traditionally determined in two orthogonal ways. Either …

Towards a compositional approach to model transformation for software development

S Hidaka, Z Hu, H Kato, K Nakano - … of the 2009 ACM symposium on …, 2009 - dl.acm.org
Model transformation plays an important role in model-driven software development that
aims to introduce significant efficiencies and rigor to the theory and practice of software …

Symmetric monoidal and cartesian double categories as a semantic framework for tile logic

R Bruni, J Meseguer, U Montanari - Mathematical Structures in …, 2002 - cambridge.org
Tile systems offer a general paradigm for modular descriptions of concurrent systems, based
on a set of rewriting rules with side-effects. Monoidal double categories are a natural …

Mapping tile logic into rewriting logic

J Meseguer, U Montanari - International Workshop on Algebraic …, 1997 - Springer
Rewriting logic extends to concurrent systems with state changes the body of theory
developed within the algebraic semantics approach. It is both a foundational tool and the …

On hierarchical graphs: Reconciling bigraphs, gs-monoidal theories and gs-graphs

R Bruni, U Montanari, G Plotkin… - Fundamenta …, 2014 - content.iospress.com
Compositional graph models for global computing systems must account for two relevant
dimensions, namely structural containment and communication linking. In Milner's bigraphs …

Tile formats for located and mobile systems

GL Ferrari, U Montanari - Information and computation, 2000 - Elsevier
Standard SOS formats are limited in their ability to define the operational semantics of
process calculi with concurrency, causality, and mobility, and with bound names and name …