E-LIB Suche - Ergebnisse für: Gheri, Lorenzo

1

The Concurrent Calculi Formalisation Benchmark:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Carbone, Marco ; Castro-Perez, David ; Ferreira, Francisco... - p. 149-158 , 2024

Link: https://doi.org/10.1007/..

2

Hybrid Multiparty Session Types: Compositionality for Proto..:

Gheri, Lorenzo ; Yoshida, Nobuko
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA1 - p. 112-142 , 2023

Link: https://doi.org/10.1145/..

3

Multicompatibility for Multiparty-Session Composition:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Gheri, Lorenzo. - p. 1-15 , 2023

Link: https://dl.acm.org/doi/1..

4

Zooid: a DSL for certified multiparty computation: from mec..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Castro-Perez, David ; Ferreira, Francisco ; Gheri, Lorenzo. - p. 237-251 , 2021

Link: https://dl.acm.org/doi/1..

5

Bindings as bounded natural functors:

Blanchette, Jasmin Christian ; Gheri, Lorenzo ; Popescu, Andrei.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-34 , 2019

Link: https://dl.acm.org/doi/1..

6

Bindings as bounded natural functors:

Blanchette, Jasmin Christian ; Gheri, Lorenzo ; Popescu, Andrei.
Proceedings of the ACM on Programming Languages. 3 (2019) POPL - p. 1-34 , 2019

Link: https://doi.org/10.1145/..

7

A Formalized General Theory of Syntax with Bindings: Extend..:

Gheri, Lorenzo ; Popescu, Andrei
Journal of Automated Reasoning. 64 (2019) 4 - p. 641-675 , 2019

Link: https://doi.org/10.1007/..

8

A Very Gentle Introduction to Multiparty Session Types:

, In: Distributed Computing and Internet Technology; Lecture Notes in Computer Science,

Yoshida, Nobuko ; Gheri, Lorenzo - p. 73-93 , 2019

Link: https://doi.org/10.1007/..

9

Hybrid Multiparty Session Types -- Full Version:

Gheri, Lorenzo ; Yoshida, Nobuko
http://arxiv.org/abs/2302.01979. , 2023

Link: http://arxiv.org/abs/230..

10

Design-by-Contract for Flexible Multiparty Session Protocol..:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
doi:10.4230/DARTS.8.2.21. , 2022

Link: https://doi.org/10.4230/..

11

Design-By-Contract for Flexible Multiparty Session Protocol:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
doi:10.4230/LIPIcs.ECOOP.2022.8. , 2022

Link: https://doi.org/10.4230/..

12

Design-By-Contract for Flexible Multiparty Session Protocol:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.ECOOP.2022.8. , 2022

Link: https://inria.hal.scienc..

13

Design-By-Contract for Flexible Multiparty Session Protocol:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.ECOOP.2022.8. , 2022

Link: https://inria.hal.scienc..

14

Design-by-Contract for Flexible Multiparty Session Protocol..:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
http://arxiv.org/abs/2205.06535. , 2022

Link: http://arxiv.org/abs/220..

15

Zooid: a DSL for Certified Multiparty Computation:

Castro-Perez, David ; Ferreira, Francisco ; Gheri, Lorenzo.
http://arxiv.org/abs/2103.10269. , 2021

Link: http://arxiv.org/abs/210..