Matthieu Perrin

Pierre Sutra

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

Collaborative SPARQL Query Processing for Decentralized Semantic Data.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2020

2019

Crash-tolerant causal broadcast in <i>O</i>(<i>n</i>) messages.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2019

Wait-Free Universality of Consensus in the Infinite Arrival Model.

[BibT_eX]

[DOI]

Grégoire Bonin

CoRR, 2019

Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model.

[BibT_eX]

[DOI]

Grégoire Bonin

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

A New Insight into Local Coin-Based Randomized Consensus.

[BibT_eX]

[DOI]

Michel Raynal

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

Does the Operational Model Capture Partition Tolerance in Distributed Systems?

[BibT_eX]

[DOI]

Grégoire Bonin

Patricia Serrano-Alvarado

Proceedings of the Parallel Computing Technologies, 2019

A License-Based Search Engine.

[BibT_eX]

[DOI]

Benjamin Moreau

Patricia Serrano-Alvarado

Emmanuel Desmontils

Proceedings of the Semantic Web: ESWC 2019 Satellite Events, 2019

Modelling the Compatibility of Licenses.

[BibT_eX]

[DOI]

Benjamin Moreau

Emmanuel Desmontils

Proceedings of the Semantic Web - 16th International Conference, 2019

2018

A Simple Object that Spans the Whole Consensus Hierarchy.

[BibT_eX]

[DOI]

Michel Raynal

Parallel Process. Lett., 2018

Extending Causal Consistency to any Object Defined by a Sequential Specification.

[BibT_eX]

[DOI]

Michel Raynal

Bull. EATCS, 2018

Separating Lock-Freedom from Wait-Freedom.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018

2017

Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2017

Which Broadcast Abstraction Captures k-Set Agreement?.

[BibT_eX]

[DOI]

Proceedings of the 31st International Symposium on Distributed Computing, 2017

2016

Spécification des objets partagés dans les systèmes répartis sans-attente. (Specification of shared objects in wait-free distributed systems).

[BibT_eX]

[DOI]

PhD thesis, 2016

On the Complexity of Concurrent Multiset Rewriting.

[BibT_eX]

[DOI]

Marin Bertier

Cédric Tedeschi

Int. J. Found. Comput. Sci., 2016

On Composition and Implementation of Sequential Consistency (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2016

On Composition and Implementation of Sequential Consistency.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing - 30th International Symposium, 2016

Speed for the Elite, Consistency for the Masses: Differentiating Eventual Consistency in Large-Scale Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

Causal consistency: beyond memory.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2015

Brief Announcement: Update Consistency in Partitionable Systems.

[BibT_eX]

[DOI]

CoRR, 2015

Tracking Causal Dependencies in Web Services Orchestrations Defined in ORC.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - Third International Conference, 2015

Update Consistency for Wait-Free Concurrent Objects.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014

Update Consistency in Partitionable Systems.

[BibT_eX]

[DOI]