default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical 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, 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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
