Skip to Main content Skip to Navigation
Journal articles

From global choreographies to verifiable efficient distributed implementations

Complete list of metadata

https://hal.inria.fr/hal-03113398
Contributor : Yliès Falcone <>
Submitted on : Monday, January 18, 2021 - 12:52:11 PM
Last modification on : Friday, March 5, 2021 - 3:18:32 PM
Long-term archiving on: : Monday, April 19, 2021 - 6:53:29 PM

File

jlamp2.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Mohamad Jaber, Yliès Falcone, Paul Attie, Al-Abbass Khalil, Rayan Hallal, et al.. From global choreographies to verifiable efficient distributed implementations. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 115, pp.100577. ⟨10.1016/j.jlamp.2020.100577⟩. ⟨hal-03113398⟩

Share

Metrics

Record views

15

Files downloads

174