29 citations · 100 across the 39 of their papers we have counts for
4 papers · 2 filters
Mastering Concurrent Computing Through Sequential Thinking: A Half-century Evolution
Sergio Rajsbaum, Michel Raynal
Concurrency, the art of doing many things at the same time is slowly becoming a science. It is very difficult to master, yet it arises all over modern computing systems, both when…
Optimal Memory-Anonymous Symmetric Deadlock-Free Mutual Exclusion
Zahra Aghazadeh, Damien Imbs, Michel Raynal +2
The notion of an anonymous shared memory (recently introduced in PODC 2017) considers that processes use different names for the same memory location. Hence, there is permanent dis…
Extending Causal Consistency to any Object Defined by a Sequential Specification
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set…
A Simple Object that Spans the Whole Consensus Hierarchy
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
This paper presents a simple generalization of the basic atomic read/write register object, whose genericity parameter spans the whole set of integers and is such that its k-parame…