CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
An abstract distributed middleware for transactions over heterogeneous stores
L. Geatti
,
F. Igne
,
Marino Miculan
2019-01-01
Cite
URL
Type
Conference paper
Publication
CEUR Workshop Proceedings
Related
A simple criterion for M,N-adhesivity
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems
ECC's Achilles'Heel: Unveiling Weak Keys in Standardized Curves
Netstaldi: A Modular Distributed Architecture for Incremental Network Discovery
Automated verification of Telegram’s MTProto 2.0 in the symbolic model
Cite
×