19 citations · 86 across the 21 of their papers we have counts for
24 papers
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…
Automated Symbolic Verification of Telegram's MTProto 2.0
Marino Miculan, Nicola Vitacolonna
MTProto 2.0 is a suite of cryptographic protocols for instant messaging at the core of the popular Telegram messenger application. In this paper we analyse MTProto 2.0 using the sy…
Software Transactional Memory with Interactions
Marino Miculan, Marco Peressotti
Software Transactional memory (STM) is an emerging abstraction for concurrent programming alternative to lock-based synchronizations. Most STM models admit only isolated transactio…
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…