СТ |
Wait-free computing: an introductory lecture |
2005 |
Raynal M. |
|
|
|
FGCS |
04.06.2005 |
СТ |
An Introduction to Oracles for Asynchronous Distributed Systems |
2002 |
Mostefaoui A., Mourgaya E., Raynal M. |
|
|
|
FGCS |
23.07.2002 |
СТ |
Consistent Checkpointing for Transaction Systems |
2001 |
Baldoni R., Quaglia F., Raynal M. |
|
|
|
The Computer J. |
08.06.2001 |
СТ |
Time in Distributed System Models and Algorithms |
2000 |
Verissimo P., Raynal M. |
|
|
|
Lecture Notes in Computer Science |
11.04.2000 |
СТ |
Distributed Database Checkpointing |
1999 |
Baldoni R., Quaglia F., Raynal M. |
|
|
|
Lecture Notes in Computer Science |
19.11.1999 |
СТ |
Consistency Issues in Distributed Checkpoints |
1999 |
Helary J. -M., Netzer R.H. B., Raynal M. |
|
|
|
IEEE Trans. on Software Engineering |
17.07.1999 |
СТ |
From Group Communication to Transactions in Distributed Systems |
1996 |
Schiper A., Raynal M. |
|
|
|
Communications of the ACM |
06.05.1996 |
П |
Semantics of Recovery Lines for Backward Recovery in Distributed Systems |
1994 |
Brzezinski J., Helary J. -M., Raynal M. |
|
|
INRIA |
|
20.10.1995 |
П |
Causal Deliveries in Unreliable Networks With Real-Time Delivery Constraints |
1994 |
Baldoni R., Mostefaoui A., Raynal M. |
|
|
INRIA |
|
20.10.1995 |
П |
Expressing and Detecting Control Flow Properties of Distributed Computations |
1994 |
Garg V. K., Tomlinson A., Fromentin E., Raynal M. |
|
|
INRIA |
|
20.10.1995 |
СТ |
Sequential Consistency in Distributed Systems |
1994 |
Mizuno M., Raynal M., Zhou J. Z. |
Lecture Notes in Computer Science |
|
|
Theory and Practice in Distributed Systems |
27.08.1995 |
П |
Inevitable Global States: A Concep to Detect Properties of Distributed Computations in an Observer Independent Way |
1994 |
Fromentin E., Raynal M. |
|
|
INRIA |
|
24.06.1995 |
П |
The Causal Ordering Abstraction and a Simple Way to Implement it |
1989 |
Raynal M., Schiper A. |
|
|
INRIA |
|
31.05.1995 |
П |
When all the Observers of a Distributed Computation do Agree |
1994 |
Fromentin E., Raynal M. |
|
|
INRIA |
|
16.12.1994 |
СТ |
Local States in Distributed Computations: A Few Relations and Formulas |
1994 |
Fromentin E., Raynal M. |
|
|
|
Operating Systems Review |
27.04.1994 |
СТ |
Detecting Atomic Sequences of Predicates in Distributed Computations |
1993 |
Hurfin M., Plouzeau N., Raynal M. |
|
|
|
SIGPLAN Notices |
25.03.1994 |
П |
How to Find his Way in the Jungle of Consistency Criteria for Distributed Objects Memories (or how to Escape from Minos Labyrinth) |
1993 |
Raynal M., Mizuno M. |
|
|
INRIA |
|
27.01.1994 |
П |
Sequence-Based Global Predicates for Distributed Computations: Definitions and Detection Algorithms |
1993 |
Babaoglu O., Raynal M. |
|
|
INRIA |
|
27.01.1994 |
СТ |
Elements for a Course on the Design of Distributed Algorithms |
1992 |
Plouzeau N., Raynal M. |
|
|
|
SIGCSE Bull. |
09.07.1992 |
СТ |
A way to logically measure synchronisation for distributed executions |
1992 |
Raynal M. |
|
|
|
BIGRE |
16.05.1992 |
П |
A General Method to Define Quorums |
1991 |
Neilsen M., Mizuno M., Raynal M. |
|
|
INRIA |
|
31.03.1992 |
СТ |
About Logical Clocks for Distributed Systems |
1992 |
Raynal M. |
|
|
|
Operating Systems Review |
27.03.1992 |
СТ |
The causal ordering abstraction and a simple way to implement it |
1991 |
Raynal M., Schiper A., Toueg S. |
|
|
|
Information Processing Letters |
16.11.1991 |
П |
Simple Distributed Solutions to the Readers-Writers Problem |
1990 |
Raynal M. |
|
|
INRIA |
|
03.07.1991 |
П |
Implementation and Evaluation of Distributed Synchronization on a Distributed Memory Parallel Machine |
1990 |
Couvert A., Pedrono R., Raynal M. |
|
|
INRIA |
|
03.07.1991 |
П |
Order notions and atomic multicast in distributed systems: a short survey |
1990 |
Raynal M. |
|
|
INRIA |
|
21.02.1991 |