19 citations · 86 across the 21 of their papers we have counts for
15 papers · 1 filter
A new criterion for -adhesivity, with an application to hierarchical graphs
Davide Castelnovo, Fabio Gadducci, Marino Miculan
Adhesive categories provide an abstract framework for the algebraic approach to rewriting theory, where many general results can be recast and uniformly proved. However, checking t…
Fuzzy Algebraic Theories
Davide Castelnovo, Marino Miculan
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of ter…
Closure hyperdoctrines, with paths
Davide Castelnovo, Marino Miculan
(Pre)closure spaces are a generalization of topological spaces covering also the notion of neighbourhood in discrete structures, widely used to model and reason about spatial aspec…
A CSP implementation of the directed bigraph embedding problem
Alessio Chiapperini, Marino Miculan, Marco Peressotti
Directed bigraphs are a meta-model which generalises Milner's bigraphs by taking into account the request flow between controls and names. A key problem about these bigraphs is tha…
Towards a Formal Model for Composable Container Systems
Fabio Burco, Marino Miculan, Marco Peressotti
In modern cloud-based architectures, containers play a central role: they provide powerful isolation mechanisms such that developers can focus on the logic and dependencies of appl…
Loose Graph Simulations
Alessio Mansutti, Marino Miculan, Marco Peressotti
We introduce loose graph simulations (LGS), a new notion about labelled graphs which subsumes in an intuitive and natural way subgraph isomorphism (SGI), regular language pattern m…