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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …
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 …