Theoretical Computer Science, Volume 291

Volume 291, Number 1, January 2003

Distributed Computing

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

Real Numbers and Computers

Peter Kornerup, Jean-Claude Bajard, Christiane Frougny, Jean-Michel Muller:
Preface. 133-134
Guillaume Hanrot, Joël Rivat, Gerald 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 R. Lester, Paul Gowland:
Using PVS to validate the algorithms of an exact arithmetic. 203-218

Algebraic Methodology and Software Technology

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

Last update Sat May 26 07:13:50 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page