Asynchronous Consensus with Bounded Memory.
Carole Delporte-Gallet
,
Hugues Fauconnier
Journal articles
hal-01416509v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Special Issue on NETYS 2016, Computing (journal)
Carole Delporte-Gallet
,
Parosh Aziz Abdulla
Springer, 2019
Books
hal-01955924v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A Characterization of t-Resilient Colorless Task Anonymous Solvability
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Sergio Rajsbaum
,
Nayuta Yanagisawa
SIROCCO 2018 - 25th International Colloquium Structural Information and Communication Complexity , Jun 2018, Ma'ale HaHamisha, Israel.
⟨10.1007/978-3-030-01325-7_18⟩
Conference papers
hal-01955837v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards Synthesis of Distributed Algorithms with {SMT} Solvers
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Yan Jurski
,
François Laroussinie
,
Arnaud Sangnier
et al.
NETYS 2019 - International conference on networked systems , Jun 2019, Marrakech, Morocco
Conference papers
hal-02434364v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Brief Announcement: Distributed Computing in the Asynchronous {LOCAL} Model
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Pierre Fraigniaud
,
Mikael Rabie
SSS 2019 - 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems , Oct 2019, Pisa, Italy.
⟨10.1007/978-3-030-34992-9_9⟩
Conference papers
hal-02436289v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
t-Resilient Immediate Snapshot Is Impossible.
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Michel Raynal
,
Sergio Rajsbaum
SIROCCO , Jul 2016, Helsiinki, France. pp.15
Conference papers
hal-01416515v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Michel Raynal
AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications , Mar 2019, Matsue, Japan.
⟨10.1007/978-3-030-15032-7_24⟩
Conference papers
hal-02433606v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Making Local Algorithms Wait-Free: The Case of Ring Coloring
Armando Castañeda
,
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Sergio Rajsbaum
,
Michel Raynal
et al.
Conference papers
hal-01416522v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems.
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Michel Raynal
,
Sergio Rajsbaum
Conference papers
hal-01416498v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
The Assignment Problem
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Eli Gafni
,
Giuliano Losa
International Conference on Distributed Computing and Networking, {ICDCN} , 2018, Varanasi, India
Conference papers
hal-01955902v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Sergio Rajsbaum
,
Michel Raynal
Journal articles
hal-01955906v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers.
Carole Delporte-Gallet
,
Parosh Aziz Abdulla
9944, 2016, LNCS
Books
hal-01416966v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Set-Consensus Collections are Decidable
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Eli Gafni
,
Petr Kuznetsov
OPODIS , Dec 2016, MADRID, Spain
Conference papers
hal-01416981v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Participant-Restricted Consensus in Asynchronous Crash-Prone Read/Write Systems and Its Weakest Failure Detector
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Michel Raynal
PaCT 2019 - 15th International Conference on Parallel Computing Technologies , Aug 2019, Almaty, Kazakhstan
Conference papers
hal-02434365v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More