Chicago Journal of Theoretical Computer Science, 1996

Volume 1996, 1996

• Moshe Y. Vardi:
  Rank Predicates vs. Progress Measures in Concurrent-Program Verification.
  
• Mitsunori Ogihara:
  Sparse Hard Sets for P Yield Space-Efficient Algorithms.
  
• Ornan Ori Gerstel, Israel Cidon, Shmuel Zaks:
  Optimal Virtual Path Layout in ATM Networks With Shared Routing Table Switches.
  
• Gerhard Buntrock, Gundula Niemann:
  Weakly Growing Context-Sensitive Grammars.
  
• H. James Hoover, Piotr Rudnicki:
  Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity.
  
• Martin Middendorf:
  Manhattan Channel Routing is NP-complete Under Truly Restricted Settings.