WorldCat Identities

Raynal, M. (Michel)

Overview
Works: 377 works in 601 publications in 3 languages and 4,857 library holdings
Genres: Conference proceedings 
Roles: Editor, Singer, Other
Classifications: QA76.9.D5, 004.36
Publication Timeline
Key
Publications about  M Raynal Publications about M Raynal
Publications by  M Raynal Publications by M Raynal
Most widely held works by M Raynal
Structural information and communication complexity 12th international colloquium, SIROCCO 2005, Mont Saint-Michel, France, May 24-26, 2005 : proceedings by Andrzej Pelc ( )
16 editions published between 2005 and 2006 in English and held by 505 WorldCat member libraries worldwide
"SIROCCO 2005 was the twelfth in this series, held in Mont Saint-Michel, France, May 24 26, 2005."
Networks and distributed computation : concepts, tools, and algorithms by M Raynal ( Book )
15 editions published between 1987 and 1988 in English and Italian and held by 398 WorldCat member libraries worldwide
Principles of distributed systems 13th international conference, OPODIS 2009, Nîmes, France, December 15-18, 2009 : proceedings by Tarek Abdelzaher ( )
12 editions published between 2009 and 2010 in English and held by 396 WorldCat member libraries worldwide
Annotation
Concurrent programming algorithms, principles, and foundations by M Raynal ( )
11 editions published between 2012 and 2013 in English and held by 382 WorldCat member libraries worldwide
The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local computations in order to realize a common task. This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book
Algorithms for mutual exclusion by M Raynal ( Book )
15 editions published between 1985 and 1986 in English and Italian and held by 355 WorldCat member libraries worldwide
Distributed algorithms : 9th international workshop, WDAG '95, Le-Mont-Saint-Michel, France, September 13-15, 1995 : proceedings by Jean-Michel Hélary ( Book )
9 editions published in 1995 in English and held by 299 WorldCat member libraries worldwide
"This book constitutes the proceedings of the 9th International Workshop on Distributed Algorithms, WDAG '95, held in Le Mont-Saint-Michel, France in September 1995. Besides four invited contributions, 18 full revised research papers are presented, selected from a total of 48 submissions during a careful refereeing process. The papers document the progress achieved in the area since the predecessor workshop (LNCS 857); they are organized in sections on asynchronous systems, networks, shared memory, Byzantine failures, self-stabilization, and detection of properties."--PUBLISHER'S WEBSITE
Distributed algorithms for message-passing systems by M Raynal ( )
9 editions published in 2013 in English and held by 298 WorldCat member libraries worldwide
Distributed computing is at the heart of many applications. It arises as soon as one has to solve a problem in terms of entities -- such as processes, peers, processors, nodes, or agents -- that individually have only a partial knowledge of the many input parameters associated with the problem. In particular each entity cooperating towards the common goal cannot have an instantaneous knowledge of the current state of the other entities. Whereas parallel computing is mainly concerned with 'efficiency', and real-time computing is mainly concerned with 'on-time computing', distributed computing i
Distributed algorithms and protocols by M Raynal ( Book )
11 editions published in 1988 in English and held by 280 WorldCat member libraries worldwide
Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings by J.-C Bermond ( Book )
11 editions published in 1989 in English and Italian and held by 251 WorldCat member libraries worldwide
"This book includes the papers presented at the Third International Workshop on Distributed Algorithms organized at La Colle-sur-Loup, near Nice, France, September 26-28, 1989 which followed the first two successful international workshops in Ottawa (1985) and Amsterdam (1987). This workshop provided a forum for researchers and others interested in distributed algorithms on communication networks, graphs, and decentralized systems. The aim was to present recent research results, explore directions for future research, and identify common fundamental techniques that serve as building blocks in many distributed algorithms. Papers describe original results in all areas of distributed algorithms and their applications, including: distributed combinatorial algorithms, distributed graph algorithms, distributed algorithms for control and communication, distributed database techniques, distributed algorithms for decentralized systems, fail-safe and fault-tolerant distributed algorithms, distributed optimization algorithms, routing algorithms, design of network protocols, algorithms for transaction management, composition of distributed algorithms, and analysis of distributed algorithms."--Publisher's website
Synchronization and control of distributed systems and programs by M Raynal ( Book )
8 editions published in 1990 in English and held by 203 WorldCat member libraries worldwide
Fault-tolerant agreement in synchronous message-passing systems by M Raynal ( )
8 editions published in 2010 in English and held by 168 WorldCat member libraries worldwide
Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. A previous book Communication and Agreement Abstraction for Fault-tolerant Asynchronous Distributed Systems (published by Morgan & Claypool, 2010) was devoted to the problems created by crash failures in asynchronous message-passing systems. The present book focuses on the way to cope with the uncertainty created by process failures (crash, omission failures and Byzantine behavior) in synchronous message-passing systems (i.e., systems whose progress is governed by the passage of time).To that end, the book considers fundamental problems that distributed synchronous processes have to solve. These fundamental problems concern agreement among processes (if processes are unable to agree in one way or another in presence of failures, no non-trivial problem can be solved). They are consensus, interactive consistency, k-set agreement and non-blocking atomic commit
Communication and agreement abstractions for fault-tolerant asynchronous distributed systems by M Raynal ( )
8 editions published in 2010 in English and held by 158 WorldCat member libraries worldwide
Understanding distributed computing is not an easy task. This is due to the many facets of uncertainty one has to cope with and master in order to produce correct distributed software. Considering the uncertainty created by asynchrony and process crash failures in the context of message-passing systems, the book focuses on the main abstractions that one has to understand and master in order to be able to produce software with guaranteed properties. These fundamental abstractions are communication abstractions that allow the processes to communicate consistently (namely the register abstraction and the reliable broadcast abstraction), and the consensus agreement abstractions that allows them to cooperate despite failures. As they give a precise meaning to the words "communicate " and "agree" despite asynchrony and failures, these abstractions allow distributed programs to be designed with properties that can be stated and proved. Impossibility results are associated with these abstractions. Hence, in order to circumvent these impossibilities, the book relies on the failure detector approach, and, consequently, that approach to fault-tolerance is central to the book
Algorithmique du parallelisme : le probleme de l'exclusion mutuelle by M Raynal ( Book )
9 editions published between 1984 and 1986 in French and held by 96 WorldCat member libraries worldwide
La Communication et le temps dans les réseaux et les systèmes répartis by M Raynal ( Book )
4 editions published in 1991 in French and held by 76 WorldCat member libraries worldwide
Synchronisation et état global dans les systèmes répartis by M Raynal ( Book )
4 editions published in 1992 in French and held by 65 WorldCat member libraries worldwide
Systemes repartis et reseaux : concepts, outils et algorithmes by M Raynal ( Book )
3 editions published in 1987 in French and held by 61 WorldCat member libraries worldwide
Algorithmes distribués et protocoles by M Raynal ( Book )
5 editions published in 1985 in French and held by 60 WorldCat member libraries worldwide
Gestion des données réparties : problèmes et protocoles by M Raynal ( Book )
2 editions published in 1992 in French and held by 50 WorldCat member libraries worldwide
Synchronisation et contrôle des systèmes et des programmes répartis by M Raynal ( Book )
2 editions published in 1988 in French and held by 46 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.74 (from 0.50 for Algorithme ... to 0.84 for Synchroniz ...)
Alternative Names
Raynal, M.
Raynal, Michel
Languages
English (135)
French (29)
Italian (3)
Covers