The complexity of PDL with interleaving
- Alain J. Mayer
- Larry J. Stockmeyer
- 1996
- Theoretical Computer Science
Publications
6 results for Alain Mayer
Self-stabilizing algorithms for synchronous unidirectional rings
- Alain Mayer
- Rafail Ostrovsky
- et al.
- 1996
- SODA 1996
Guaranteeing fair service to persistent dependent tasks
- Amotz Bar-Noy
- Alain Mayer
- et al.
- 1995
- SODA 1995
Local computations on static and dynamic graphs
- Alain Mayer
- Moni Naor
- et al.
- 1995
- ISTCS 1995
Time-optimal message-efficient work performance in the presence of faults
- Roberto De Prisco
- Alain Mayer
- et al.
- 1994
- PODC 1994
Self-stabilizing symmetry breaking in constant-space
- Alain Mayer
- Yoram Ofek
- et al.
- 1992
- STOC 1992