1.4k citations
- Istituto Nazionale di Fisica Nucleare, Laboratori Nazionali di FrascatiIT763 papers
- University of TurinIT716 papers
- National Centre for Nuclear ResearchPL681 papers
- Peking UniversityCN663 papers
- Carnegie Mellon UniversityUS662 papers
- University of PerugiaIT634 papers
- University of Science and Technology of ChinaCN624 papers
- Fudan UniversityCN618 papers
- Beihang UniversityCN589 papers
- Tsinghua UniversityCN579 papers
- Istituto Nazionale di Fisica Nucleare, Sezione di PerugiaIT577 papers
- Institute of High Energy PhysicsCN576 papers
8 papers · 1 filter
Sensible Intersection Type Theories
Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini +1
Finitary/static semantics in the form of intersection type assignments have become a paradigm for analysing the fine structure of all sorts of lambda-models. The key step is the co…
Towards a Semantic Characterisation of Global Type Well-formedness
Ilaria Castellani, Paola Giannini
We address the question of characterising the well-formedness properties of multiparty session types semantically, i.e., as properties of the semantic model used to interpret types…
Asynchronous Sessions with Input Races
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
We propose a calculus for asynchronous multiparty sessions where input choices with different senders are allowed in processes. We present a type system that accepts such input rac…
Deconfined Global Types for Asynchronous Sessions
Francesco Dagnino, Paola Giannini, Mariangiola Dezani-Ciancaglini
Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such ca…
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini +3
BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacteria…
Intersection types for unbind and rebind
Mariangiola Dezani-Ciancaglini, Paola Giannini, Elena Zucca
We define a type system with intersection types for an extension of lambda-calculus with unbind and rebind operators. In this calculus, a term with free variables, representing ope…