I agree that this site is using cookies. You can find further informations here.
X
Ciccone, Luca
241  results:
Search for persons X
?
1

Fair termination of multiparty sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
Journal of Logical and Algebraic Methods in Programming.  139 (2024)  - p. 100964 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Fair termination of binary sessions:

Ciccone, Luca ; Padovani, Luca
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
Link: https://doi.org/10.1145/..
 
?
3

Fair termination of binary sessions:

Ciccone, Luca ; Padovani, Luca
Proceedings of the ACM on Programming Languages.  6 (2022)  POPL - p. 1-30 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Inference Systems with Corules for Combined Safety and Live..:

Ciccone, Luca ; Padovani, Luca
Logical Methods in Computer Science.  18, Issue 3 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
5

A Dependently Typed Linear π-Calculus in Agda:

, In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming,
Ciccone, Luca ; Padovani, Luca - p. 1-14 , 2020
Link: https://dl.acm.org/doi/1..
 
?
6

Concerto Grosso for Sessions: Fair Termination of Sessions:

Ciccone, Luca
http://arxiv.org/abs/2307.05539.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
hal-03667020.  , 2022
Link: https://hal.science/hal-..
 
?
8

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
doi:10.4230/LIPIcs.ECOOP.2022.26.  , 2022
Link: https://doi.org/10.4230/..
 
?
9

Fair Termination of Binary Sessions:

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000777820900006.  , 2022
Link: https://hdl.handle.net/1..
 
?
10

Inference Systems with Corules for Combined Safety and Live..:

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000860394200001.  , 2022
Link: https://hdl.handle.net/1..
 
?
11

Fair Termination of Binary Sessions:

Ciccone, Luca ; Padovani, Luca
info:eu-repo/semantics/altIdentifier/wos/WOS:000777820900006.  , 2022
Link: http://hdl.handle.net/23..
 
?
12

An Infinitary Proof Theory of Linear Logic Ensuring Fair Te..:

Ciccone, Luca ; Padovani, Luca
http://arxiv.org/abs/2207.03749.  , 2022
Link: http://arxiv.org/abs/220..
 
?
13

An Infinitary Proof Theory of Linear Logic Ensuring Fair Te..:

Ciccone, Luca ; Padovani, Luca
doi:10.4230/LIPIcs.CONCUR.2022.36.  , 2022
Link: https://doi.org/10.4230/..
 
?
14

Fair Termination of Multiparty Sessions:

Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca
http://arxiv.org/abs/2205.08786.  , 2022
Link: http://arxiv.org/abs/220..
 
?
15

Ain't No Stopping Us Monitoring Now:

Ciccone, Luca ; Dagnino, Francesco ; Ferrando, Angelo
http://arxiv.org/abs/2211.11544.  , 2022
Link: http://arxiv.org/abs/221..
 
1-15