Published by MIT Press. Copyright 1996 Massachusetts Institute of
Your institution may already be a
subscriber to CJTCS. If not,
for legitimate access to all journal articles.
- 1996 Articles
- Rank Predicates vs. Progress
Measures in Concurrent-Program Verification by
Moshe Y. Vardi,
9 February 1996
- Sparse Hard Sets for P Yield
Space-Efficient Algorithms by
Mitsunori Ogihara, 27 March 1996
- Optimal Virtual Path Layout in
ATM Networks with Shared Routing Table Switches by Ornan
Gerstel, Israel Cidon, and Shmuel Zaks (Selected Papers
from PODC 1994, David Peleg editor), 31 October 1996.
- Weakly Growing Context-Sensitive
Gerhard Buntrock and
Gundula Niemann, 13
- Uniform Self-Stabilizing
Orientation of Unicyclic Networks under Read/Write
H. James Hoover
and Piotr Rudnicki (Special Issue on
Self-Stabilization, Shlomi Dolev and Jennifer Welch
editors), 5 December 1996.
- Manhattan Channel
Routing is NP-complete under Truly Restricted Settings by
Martin Middendorf, 30 December 1996.
- 1996 Table of Contents
- 1996 Abstracts
Instructions for Readers
Last modified: Tue Nov 25 10:50:55 CST