2 papers
cs.LO2024
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…
cs.PL2016
A Specification of Open Transactional Memory for Haskell
Marino Miculan, Marco Peressotti
Transactional memory (TM) has emerged as a promising abstraction for concurrent programming alternative to lock-based synchronizations. However, most TM models admit only isolated…