Reversible Multiparty Sessions with Checkpoints

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

A Syntactic Model of Mutation and Aliasing

by Paola Giannini, Marco Servetto, Elena Zucca
Published 2019-04-01

Reconciling positional and nominal binding

by Davide Ancona, Paola Giannini, Elena Zucca
Published 2013-07-01

A Type System for Required/Excluded Elements in CLS

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

A Type System for a Stochastic CLS

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

Intersection types for unbind and rebind

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

A Calculus of Looping Sequences with Local Rules

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

A Calculus of Located Entities

by Adriana Compagnoni, Paola Giannini, Catherine Kim, Matthew Milideo, Vishakha Sharma
Published 2014-03-01

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

Productive and Morphometric Traits, Mineral Composition and Secondary Metabolome Components of Borage and Purslane as Underutilized Species for Microgreens Production

by Giandomenico Corrado, Christophe El-Nakhel, Giulia Graziani, Antonio Pannico, Armando Zarrelli, Paola Giannini, Alberto Ritieni, Stefania De Pascale, Marios C. Kyriacou, Youssef Rouphael
Published 2021-07-01