32 results  save search


  • 1
  • 2
hal-01100780v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector
33h Symposium on Reliable Distributed Systems (SRDS), Oct 2014, Nara, Japan. pp.161-170, ⟨10.1109/SRDS.2014.18 ⟩
...
hal-02053261v1  Conference papers
Damien ImbsAchour MostefaouiMatthieu PerrinMichel Raynal. Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits
ICDCN '18 - 19th International Conference on Distributed Computing and Networking, Jan 2018, Varanasi, India. pp.1-10, ⟨10.1145/3154273.3154296⟩
...
inria-00577736v1  Reports
Michel Raynal. On the Implementation of Concurrent Objects
[Research Report] PI-1968, 2011, pp.22
...
inria-00454386v1  Reports
Damien ImbsMichel Raynal. The x-Wait-freedom Progress Condition
[Research Report] PI 1944, 2010, pp.11
...
hal-01559723v1  Conference papers
Armando CastañedaYoram MosesMichel RaynalMatthieu Roy. Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour
International Conference on Networked Systems (NETYS), May 2017, Marrakech, Morocco. pp.167 - 221, ⟨10.1007/978-3-319-59647-1_16⟩
...
hal-01476201v1  Reports
Damien ImbsAchour MostefaouiMatthieu PerrinMichel Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version)
[Research Report] IRISA, Inria Rennes; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017
...
hal-01787801v1  Conference papers
Damien ImbsAchour MostefaouiMatthieu PerrinMichel Raynal. Which Broadcast Abstraction Captures k-Set Agreement?
31st International Symposium on Distributed Computing (DISC 2017), Oct 2017, Vienna, Austria. pp.1-16, ⟨10.4230/LIPIcs.DISC.2017.27⟩
  • 1
  • 2