E-LIB Suche - Ergebnisse für: Prosperi, Laurent

1

Transactional-Turn Causal Consistency:

, In: Euro-Par 2023: Parallel Processing; Lecture Notes in Computer Science,

Martin, Benoît ; Prosperi, Laurent ; Shapiro, Marc - p. 578-591 , 2023

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

2

Varda: A Framework for Compositional Distributed Programmin:

, In: Networked Systems; Lecture Notes in Computer Science,

Prosperi, Laurent ; Bouajjani, Ahmed ; Shapiro, Marc - p. 16-30 , 2022

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

3

Epistemic Reasoning with Byzantine-Faulty Agents:

, In: Frontiers of Combining Systems; Lecture Notes in Computer Science,

Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich. - p. 259-276 , 2019

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

4

Planner: Cost-Efficient Execution Plans Placement for Unifo..:

, In: 2018 IEEE/ACM Workflows in Support of Large-Scale Science (WORKS),

Prosperi, Laurent ; Costan, Alexandru ; Silva, Pedro. - p. 42-51 , 2018

Link: https://doi.org/10.1109/..

5

Transactional-Turn Causal Consistency:

Martin, Benoît ; Prosperi, Laurent ; Shapiro, Marc
hal-04117344. , 2023

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

6

Varda: a language for programming distributed systems by co..:

Prosperi, Laurent
NNT: 2023SORUS240. , 2023

Link: https://theses.hal.scien..

7

Transactional-Turn Causal Consistency:

Martin, Benoît ; Prosperi, Laurent ; Shapiro, Marc
hal-04117344. , 2023

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

8

Varda: a language for programming distributed systems by co..:

Prosperi, Laurent
NNT: 2023SORUS240. , 2023

Link: https://theses.hal.scien..

9

Varda : a language for programming distributed systems by c..:

Prosperi, Laurent
http://www.theses.fr/2023SORUS240/document. , 2023

Link: http://www.theses.fr/202..

10

Transactional-Turn Causal Consistency:

Martin, Benoît ; Prosperi, Laurent ; Shapiro, Marc
hal-04117344. , 2023

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

11

Varda: A Framework for Compositional Distributed Programmin:

Prosperi, Laurent ; Bouajjani, Ahmed ; Shapiro, Marc
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-17436-0_2. , 2022

Link: https://hal.science/hal-..

12

Varda: A Framework for Compositional Distributed Programmin:

Prosperi, Laurent ; Bouajjani, Ahmed ; Shapiro, Marc
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-17436-0_2. , 2022

Link: https://hal.science/hal-..

13

Varda: A Framework for Compositional Distributed Programmin:

Prosperi, Laurent ; Bouajjani, Ahmed ; Shapiro, Marc
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-17436-0_2. , 2022

Link: https://hal.science/hal-..

14

Causality and Epistemic Reasoning in Byzantine Multi-Agent ..:

Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich.
http://arxiv.org/abs/1907.09112. , 2019

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

15

Planner: Cost-efficient Execution Plans Placement for Unifo..:

Prosperi, Laurent ; Costan, Alexandru ; Silva, Pedro.
info:eu-repo/semantics/altIdentifier/doi/10.1109/works.2018.00010. , 2018

Link: https://hal.archives-ouv..