research
∙
01/01/2022
A new criterion for ℳ, 𝒩-adhesivity, with an application to hierarchical graphs
Adhesive categories provide an abstract framework for the algebraic appr...
share
research
∙
10/21/2021
Fuzzy Algebraic Theories
In this work we propose a formal system for fuzzy algebraic reasoning. T...
research
∙
12/05/2020
Automated Symbolic Verification of Telegram's MTProto 2.0
MTProto 2.0 is a suite of cryptographic protocols for instant messaging ...
research
∙
07/17/2020
Software Transactional Memory with Interactions
Software Transactional memory (STM) is an emerging abstraction for concu...
research
∙
07/08/2020
Closure hyperdoctrines, with paths
Spatial logics are modal logics whose modalities are interpreted using t...
research
∙
03/19/2020
A CSP implementation of the directed bigraph embedding problem
Directed bigraphs are a meta-model which generalises Milner's bigraphs b...
research
∙
12/02/2019
Towards a Formal Model for Composable Container Systems
In modern cloud-based architectures, containers play a central role: the...
research
∙
12/01/2014