Theoretical Computer Science, Volume 291

Volume 291, Number 1, January 2003

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

Volume 291, Number 2, January 2003

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

Volume 291, Number 3, January 2003

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