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
Computing (optimal) embeddings of directed bigraphs
Fuzzy Algebraic Theories
A new criterion for M,N-adhesivity, with an application to hierarchical graphs
Composable Partial Multiparty Session Types
On the Security and Safety of AbU Systems
Cite
×