Adriana Compagnoni

Available identifiers

zbMath Open compagnoni.adriana-bMaRDI QIDQ598198

List of research outcomes

Publication	Date of Publication	Type
A calculus of located entities	2021-06-22	Paper
Relating Church-style and Curry-style subtyping	2021-03-03	Paper
Splitting mobility and communication in boxed ambients	2013-10-02	Paper
Typechecking safe process synchronization	2013-09-26	Paper
Pict correctness revisited	2009-03-02	Paper
Role-based access control for boxed ambients	2008-06-24	Paper
Pict Correctness Revisited	2007-11-28	Paper
Boxed ambients with communication interfaces	2007-09-06	Paper
Theoretical Computer Science	2006-11-01	Paper
Trustworthy Global Computing	2006-11-01	Paper
Anti-symmetry of higher-order subtyping and equality by subtyping	2006-05-22	Paper
Mathematical Foundations of Computer Science 2004	2005-08-22	Paper
Higher-order subtyping and its decidability	2004-08-06	Paper
Heap-bounded assembly language	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4474829	2004-07-21	Paper
Typed operational semantics for higher-order subtyping.	2003-08-19	Paper
Subtyping dependent types	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q4945242	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q3837264	1996-12-08	Paper

Research outcomes over time

This page was built for person: Adriana Compagnoni