E-LIB Suche - Ergebnisse für: Henrio, Ludovic

1

Locally Abstract, Globally Concrete Semantics of Concurrent..:

Din, Crystal Chang ; Hähnle, Reiner ; Henrio, Ludovic...
ACM Transactions on Programming Languages and Systems. 46 (2024) 1 - p. 1-58 , 2024

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

2

Active Objects Based on Algebraic Effects:

, In: Lecture Notes in Computer Science; Active Object Languages: Current Research Trends,

Andrieux, Martin ; Henrio, Ludovic ; Radanne, Gabriel - p. 3-36 , 2024

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

3

A Survey on Parallelism and Determinism:

Gonnord, Laure ; Henrio, Ludovic ; Morel, Lionel.
ACM Computing Surveys. 55 (2023) 10 - p. 1-28 , 2023

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

4

Compositional equivalences based on open pNets:

Ameur-Boulifa, Rabéa ; Henrio, Ludovic ; Madelaine, Eric
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100842 , 2023

Link: https://doi.org/10.1016/..

5

Component-based Distributed Software Reconfiguration:A Veri..:

Coullon, Héléne ; Henrio, Ludovic ; Loulergue, Frédéric.
ACM Computing Surveys. 56 (2023) 1 - p. 1-37 , 2023

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

6

Choice Trees: Representing Nondeterministic, Recursive, and..:

Chappe, Nicolas ; He, Paul ; Henrio, Ludovic..
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1770-1800 , 2023

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

7

Refinements for Open Automata:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,

Ameur-Boulifa, Rabéa ; Corradi, Quentin ; Henrio, Ludovic. - p. 11-29 , 2023

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

8

Promise Plus: Flexible Synchronization for Parallel Computa..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,

Maillé, Amaury ; Henrio, Ludovic ; Moy, Matthieu - p. 190-196 , 2021

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

9

Leveraging access mode declarations in a model for memory c..:

Henrio, Ludovic ; Kessler, Christoph ; Li, Lu
Journal of Logical and Algebraic Methods in Programming. 110 (2020) - p. 100498 , 2020

Link: https://doi.org/10.1016/..

10

Distributed futures for efficient data transfer between par..:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,

Leca, Pierre ; Suijlen, Wijnand ; Henrio, Ludovic. - p. 1344-1347 , 2020

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

11

Active Objects with Deterministic Behaviour:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Henrio, Ludovic ; Johnsen, Einar Broch ; Pun, Violet Ka I. - p. 181-198 , 2020

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

12

On Reachability in Parameterized Phaser Programs:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Ganjei, Zeinab ; Rezine, Ahmed ; Henrio, Ludovic.. - p. 299-315 , 2019

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

13

Verification of Concurrent Design Patterns with Data:

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

Bliudze, Simon ; Henrio, Ludovic ; Madelaine, Eric - p. 161-181 , 2019

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

14

Preface for the special issue on Interaction and Concurrenc..:

Bartoletti, Massimo ; Bocchi, Laura ; Henrio, Ludovic.
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100488 , 2019

Link: https://doi.org/10.1016/..

15

Preface for the special issue on Interaction and Concurrenc..:

Bartoletti, Massimo ; Henrio, Ludovic ; Knight, Sophia.
Journal of Logical and Algebraic Methods in Programming. 98 (2018) - p. 26 , 2018

Link: https://doi.org/10.1016/..