Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 220
Volume 220, Number 1, June 1999
- Marcos Kawazoe Aguilera, Wei Chen
, Sam Toueg:
Using the Heartbeat Failure Detector for Quiescent Reliable Communication and Consensus in Partitionable Networks. 3-30 - Gil Neiger, Rida A. Bazzi:
Using Knowledge to Optimally Achieve Coordination in Distributed Systems. 31-65 - Nancy A. Lynch, Nir Shavit, Alexander A. Shvartsman, Dan Touitou:
Timing Conditions for Linearizability in Uniform Counting Networks. 67-91 - Shay Kutten, Boaz Patt-Shamir:
Stabilizing Time-Adaptive Protocols. 93-111 - Alan D. Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman:
Eventually-Serializable Data Services. 113-156 - King-Shan Lui, Shmuel Zaks:
Scheduling in Synchronous Networks and the Greedy Algorithm. 157-183 - Amos Beimel, Matthew K. Franklin:
Reliable Communication over Partially Authenticated Networks. 185-210 - Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle:
Wait-Free Implementations in Message-Passing Systems. 211-245 - Johannes Gehrke, C. Greg Plaxton, Rajmohan Rajaraman:
Rapid Convergence of a Local Load Balancing Algorithm for Asynchronous Rings. 247-265 - Marios Mavronicolas, Dan Roth:
Linearizable Read/Write Objects. 267-319
Volume 220, Number 2, June 1999
- Andris Ambainis, Sanjay Jain, Arun Sharma:
Ordinal Mind Change Complexity of Language Identification. 323-343 - R. Fadel, K. V. Jakobsen, Jyrki Katajainen, Jukka Teuhola:
Heaps and Heapsort on Secondary Storage. 345-362 - Michael E. Houle, Ewan D. Tempero, Gavin Turner:
Optimal Dimension-Exchange Token Distribution on Complete Binary Trees. 363-376 - Chuchang Liu, Mehmet A. Orgun:
Verification of Reactive Systems Using Temporal Logic with Clocks. 377-408 - Ian A. Mason, Carolyn L. Talcott:
Actor Languages Their Syntax, Semantics, Translation, and Equivalence. 409-467 - Alan Roberts, Antonios Symvonis:
On-Line Matching Routing on Trees. 469-488 - Yan Zhang:
Specifying Causality in Action Theories: A Default Logic Approach. 489-513
a service of 
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-04-18 20:20 CEST 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:
