m raynal
m raynal
Professor of Informatics
Adresse e-mail validée de irisa.fr
Titre
Citée par
Citée par
Année
Algorithms for mutual exclusion
M Raynal
The MIT Press, Cambridge, MA, 1986
5101986
Logical time: Capturing causality in distributed systems
M Raynal, M Singhal
Computer 29 (2), 49-56, 1996
3551996
The causal ordering abstraction and a simple way to implement it
M Raynal, A Schiper, S Toueg
Information processing letters 39 (6), 343-350, 1991
3261991
Solving consensus using Chandra-Toueg’s unreliable failure detectors: A general quorum-based approach
A Mostéfaoui, M Raynal
International Symposium on Distributed Computing, 49-63, 1999
2231999
Distributed algorithms and protocols
M Raynal
dap, 1988
2161988
Distributed algorithms for message-passing systems
M Raynal
Springer, 2013
1852013
Concurrent programming: algorithms, principles, and foundations
M Raynal
Springer Science & Business Media, 2012
1832012
Asynchronous implementation of failure detectors
A Mostefaoui, E Mourgaya, M Raynal
2003 International Conference on Dependable Systems and Networks, 2003 …, 2003
1832003
An adaptive failure detection protocol
C Fetzer, M Raynal, F Tronel
Proceedings 2001 Pacific Rim International Symposium on Dependable Computing …, 2001
1672001
A simple taxonomy for distributed mutual exclusion algorithms
M Raynal
ACM SIGOPS Operating Systems Review 25 (2), 47-50, 1991
1661991
The information structure of indulgent consensus
R Guerraoui, M Raynal
IEEE Transactions on Computers 53 (4), 453-466, 2004
1622004
Consensus in the age of blockchains
S Bano, A Sonnino, M Al-Bassam, S Azouvi, P McCorry, S Meiklejohn, ...
arXiv preprint arXiv:1711.03936, 2017
1572017
From group communication to transactions in distributed systems
A Schiper, M Raynal
Communications of the ACM 39 (4), 84-87, 1996
1501996
Leader-based consensus
A Mostefaoui, M Raynal
Parallel Processing Letters 11 (01), 95-107, 2001
1472001
Conditions on input vectors for consensus solvability in asynchronous distributed systems
A Mostefaoui, S Rajsbaum, M Raynal
Journal of the ACM (JACM) 50 (6), 922-954, 2003
1452003
A communication-induced checkpointing protocol that ensures rollback-dependency trackability
R Baldoni, JM Helary, A Mostefaoui, M Raynal
Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing …, 1997
1391997
An adaptive causal ordering algorithm suited to mobile computing environments
R Prakash, M Raynal, M Singhal
Journal of Parallel and Distributed Computing 41 (2), 190-204, 1997
1261997
A simple and fast asynchronous consensus protocol based on a weak failure detector
M Hurfin, M Raynal
Distributed Computing 12 (4), 209-223, 1999
1191999
Consensus in one communication step
F Brasileiro, F Greve, A Mostéfaoui, M Raynal
International Conference on Parallel Computing Technologies, 42-50, 2001
1162001
Communication and agreement abstractions for fault-tolerant asynchronous distributed systems
M Raynal
Synthesis Lectures on Distributed Computing Theory 1 (1), 1-273, 2010
1092010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20