Theoretical Computer Science, Volume 291

Volume 291, Number 1, January 2003

• Shay Kutten, Paul G. Spirakis: Preface. 1
• Jean-Claude Bermond, Nausica Marlin, David Peleg, Stephane Perennes: Directed virtual path layouts in ATM networks. 3-28
• Paola Flocchini, Bernard Mans, Nicola Santoro: Sense of direction in distributed computing. 29-53
• Maurice Herlihy, Sergio Rajsbaum: A classification of wait-free loop agreement tasks. 55-77
• Fernando Pedone, André Schiper: Optimistic atomic broadcast: a pragmatic viewpoint. 79-101
• Jeremy B. Sussman, Keith Marzullo: The Bancomat problem: an example of resource allocation in a partitionable asynchronous system. 103-131

Volume 291, Number 2, January 2003

• Peter Kornerup, Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller: Preface. 133-134
• Guillaume Hanrot, Joël Rivat, G. Tenenbaum, Paul Zimmermann: Density results on floating-point invertible numbers. 135-141
• Marc Daumas, Philippe Langlois: Additive symmetries: the non-negative case. 143-157
• David W. Matula, Lee D. McFearin: A p×p bit fraction model of binary floating point division and extremal rounding cases. 159-182
• Avi Ziv, Laurent Fournier: Solving the generalized mask constraint for test generation of binary floating point add operation. 183-201
• David Lester, Paul Gowland: Using PVS to validate the algorithms of an exact arithmetic. 203-218

Volume 291, Number 3, January 2003

• Cesare Tinelli, Teodor Rus: Preface. 219-221
• Kamel Adi, Mourad Debbabi, Mohamed Mejri: A new logic for electronic commerce protocols. 223-283
• Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. 285-327
• Bart Jacobs, Erik Poll: Coalgebras and monads in the semantics of Java. 329-349
• Eric Van Wyk: Specification languages in algebraic compilers. 351-385