Author Search Results

Mariangiola Dezani-Ciancaglini

Mariangiola Dezani-Ciancaglini (born 22 December 1946) is an Italian logician and theoretical computer scientist whose research topics include type theory and intersection type disciplines, lambda calculus, and programming language semantics. She is a professor emerita at the University of Turin. Provided by Wikipedia

1

Open Multiparty Sessions

by Franco Barbanera, Mariangiola Dezani-Ciancaglini
Published 2019-09-01

Get full text

Article
2

Reversible Multiparty Sessions with Checkpoints

by Mariangiola Dezani-Ciancaglini, Paola Giannini
Published 2016-08-01

Get full text

Article
3

Session Type Isomorphisms

by Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic
Published 2014-06-01

Get full text

Article
4

Information Flow Safety in Multiparty Sessions

by Mariangiola Dezani-Ciancaglini, Ilaria Castellani, Sara Capecchi
Published 2011-08-01

Get full text

Article
5

Parallel Monitors for Self-adaptive Sessions

by Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Published 2016-06-01

Get full text

Article
6

A Type System for Required/Excluded Elements in CLS

by Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published 2009-11-01

Get full text

Article
7

A Type System for a Stochastic CLS

by Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published 2009-11-01

Get full text

Article
8

Intersection types for unbind and rebind

by Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
Published 2011-01-01

Get full text

Article
9

Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective

by Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Published 2014-08-01

Get full text

Article
10

Secure Multiparty Sessions with Topics

by Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Published 2016-06-01

Get full text

Article
11

Compliance for reversible client/server interactions

by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro
Published 2014-08-01

Get full text

Article
12

On Isomorphism of "Functional" Intersection and Union Types

by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Published 2015-03-01

Get full text

Article
13

A Calculus of Looping Sequences with Local Rules

by Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Published 2012-07-01

Get full text

Article
14

Toward Isomorphism of Intersection and Union types

by Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Published 2013-07-01

Get full text

Article
15

Retractable Contracts

by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
Published 2016-02-01

Get full text

Article
16

Precise subtyping for synchronous multiparty sessions

by Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida
Published 2016-02-01

Get full text

Article
17

Retractions in Intersection Types

by Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
Published 2017-02-01

Get full text

Article
18

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions

by Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Published 2012-11-01

Get full text

Article

Cannot write session to /tmp/vufind_sessions/sess_c111e1ojchkrcuqptfut275ur6