Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mariangiola Dezani-Ciancaglini

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Self-Adaptation and Secure Information Flow in Multiparty Communications

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2016English

Towards a Semantic Model for Java Wildcards

2010English

On the Preciseness of Subtyping in Session Types

2014English

Boxed Ambients With Communication Interfaces

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

On Isomorphisms of Intersection Types

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

A Subtyping for Extensible, Incomplete Objects

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1999English

A Parenthesis Machine for String Manipulation

Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
1974English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy