CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
A Calculus for Attribute-Based Memory Updates
Marino Miculan
,
Michele Pasqua
2021-01-01
Cite
DOI
Type
Conference paper
Publication
Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021
Related
The AbU Language: IoT Distributed Programming Made Easy
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
Cite
×