Luca Padovani

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Mariangiola Dezani-Ciancaglini

> Home > Persons > Luca Padovani

Publications

2019
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CastagnaDGP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CastagnaDGP19
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of Session Types: 10 Years Later. PPDP 2019: 1:1-1:3
2017
[j17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/SeveriPTD17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/SeveriPTD17
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. Log. Methods Comput. Sci. 13(2) (2017)
2016
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CoppoDYP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CoppoDYP16
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016)
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/coordination/SeveriPTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/SeveriPTD16
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. COORDINATION 2016: 245-261
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SeveriPTD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SeveriPTD16
Paula Severi, Luca Padovani, Emilio Tuosto, Mariangiola Dezani-Ciancaglini:
On Sessions and Infinite Data. CoRR abs/1610.06362 (2016)
2015
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sfm/CoppoDPY15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sfm/CoppoDPY15
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178
2014
[c38]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Dezani-CiancagliniPP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Dezani-CiancagliniPP14
Mariangiola Dezani-Ciancaglini, Luca Padovani, Jovanka Pantovic:
Session Type Isomorphisms. PLACES 2014: 61-71
2013
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/coordination/CoppoDPY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coordination/CoppoDPY13
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59
2012
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1203-0780
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1203-0780
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-Party Session. Log. Methods Comput. Sci. 8(1) (2012)
2011
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/CastagnaDP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/CastagnaDP11
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Luca Padovani:
On Global Types and Multi-party Sessions. FMOODS/FORTE 2011: 1-28
2009
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/CastagnaDGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/CastagnaDGP09
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani:
Foundations of session types. PPDP 2009: 219-230

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.