![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.