Filtrer vos résultats
- 5
- 1
- 2
- 2
- 1
- 1
- 6
- 1
- 2
- 2
- 1
- 6
- 5
- 1
- 1
- 1
- 1
- 6
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
6 résultats
|
|
triés par
|
|
Testing consensus implementations using communication closureSPLASH 2020 : ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2021, Chiccago / Virtual, United States. ⟨10.1145/3428278⟩
Communication dans un congrès
hal-03134294v1
|
||
|
Shape AnalysisFoundations and Trends in Programming Languages, 2020, 6 (1–2), pp.1-158. ⟨10.1561/2500000037⟩
Article dans une revue
hal-03081617v1
|
||
|
Executable Rounds: a Programming Abstraction for Fault-Tolerant Protocols2019
Pré-publication, Document de travail
hal-02317446v1
|
||
|
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data2010
Autre publication scientifique
hal-00473754v1
|
||
|
Programming at the edge of synchronySPLASH 2020 - ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, Oct 2020, Chicago / Virtual, United States. ⟨10.1145/3428281⟩
Communication dans un congrès
hal-03134314v1
|
||
|
Communication-closed asynchronous protocols2019
Pré-publication, Document de travail
hal-01991415v1
|