Feedback and state are closely interrelated concepts. Categories with feedback, originally
proposed by Katis, Sabadini and Walters, are a weakening of the notion of traced monoidal …

Abstract We show that Span (Graph)∗, an algebra for open transition systems introduced by
Katis, Sabadini and Walters, satisfies a universal property. By itself, this is a justification of …

In recent years, a huge body of research has been devoted to the challenging problem of
integrating data and processes to achieve a more comprehensive understanding on their …

Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten
simultaneously. But state terms are global, which makes compositionality difficult to achieve …

In this paper, we recall the basic features of the CospanSpan (Graph) algebra for the
compositional description of reconfigurable hierarchical networks. In particular, we focus on …

Our overall goal is compositional specification and verification in rewriting logic. In previous
work, we described a way to compose system specifications using the operation we call …

In this paper we investigate the expressiveness of the compositional formalism of
CospanSpan (Graph) in order to model biological systems: first, we provide a compositional …

The task of constructing compositional semantics for network-style diagrammatic languages,
such as electrical circuits or chemical reaction networks, has been dubbed the black boxing …

The compositional model CospanSpan (Graph) has been shown to model a variety of
phenomena from asynchronous circuits to hierarchy, mobility and coordination …

We study approaches to the compositional verification of systems specified in rewriting logic,
based on the means for compositional specification presented in Chapter 4. Namely, we …