5 papers
EGGs are adhesive!
Roberto Biondo, Davide Castelnovo, Fabio Gadducci
The use of rewriting-based visual formalisms is on the rise. In the formal methods community, this is due also to the introduction of adhesive categories, where most properties of…
On The Axioms Of -Adhesive Categories
Davide Castelnovo, Marino Miculan
Adhesive and quasiadhesive categories provide a general framework for the study of algebraic graph rewriting systems. In a quasiadhesive category any two regular subobjects have a…
Fibrations of algebras
Danel Ahman, Greta Coraglia, Davide Castelnovo +3
We study fibrations arising from indexed categories of the following form: fix two categories and a functor $F : \mathcal{A} \times \mathcal{X} \longright…
Validity of contextual formulas (extended version)
Javier Esparza, Rubén Rubio
Many well-known logical identities are naturally written as equivalences between contextual formulas. A simple example is the Boole-Shannon expansion $c[p] \equiv (p \wedge c[\math…
Left-Linear Rewriting in Adhesive Categories
Paolo Baldan, Davide Castelnovo, Andrea Corradini +1
When can two sequential steps performed by a computing device be considered (causally) independent? This is a relevant question for concurrent and distributed systems, since indepe…