Theoretical Computer Science, Volume 240

Volume 240, Number 1, 6 June 2000

• Daniel Le Métayer:
  Foreword. 1-2
  
• Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro:
  A transition system semantics for the control-driven coordination language MANIFOLD. 3-47
  
• Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
  Comparing three semantics for Linda-like languages. 49-90
  
• Eric J. Hedman, Joost N. Kok, Kaisa Sere:
  Coordinating action systems. 91-115
  
• Suresh Jagannathan:
  Continuation-based transformations for coordination languages. 117-146
  
• Roberto M. Amadio:
  On modelling mobility. 147-176
  
• Luca Cardelli, Andrew D. Gordon:
  Mobile ambients. 177-213
  
• Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri:
  Types for access control. 215-254
  

Volume 240, Number 2, 17 June 2000

• Jin-yi Cai, D. Sivakumar:
  Resolution of Hartmanis' conjecture for NL-hard sparse sets. 257-269
  
• Vincent Berry, Olivier Gascuel:
  Inferring evolutionary trees with strong combinatorial evidence. 271-298
  
• Lin Chen:
  A selected tour of the theory of identification matrices. 299-318
  
• Rüdiger Reischuk:
  Can large fanin circuits perform reliable computations in the presence of faults? 319-335
  
• Yuji Kobayashi, Friedrich Otto:
  Repetitiveness of languages generated by morphisms. 337-378
  
• Peter Eades, Xuemin Lin:
  Spring algorithms and symmetry. 379-405
  
• Abul Kashem, Xiao Zhou, Takao Nishizeki:
  Algorithms for generalized vertex-rankings of partial k-trees. 407-427
  
• Sheng-Lung Peng, Chin-Wen Ho, Tsan-sheng Hsu, Ming-Tat Ko, Chuan Yi Tang:
  Edge and node searching problems on trees. 429-446
  
• Athanassios S. Poulakidas, Ashok Srinivasan, Ömer Egecioglu, Oscar H. Ibarra, Tao Yang:
  Image compression for fast wavelet-based subregion retrieval. 447-469
  
• Thomas Hofmeister, Matthias Krause, Hans-Ulrich Simon:
  Contrast-optimal k out of n secret sharing schemes in visual cryptography. 471-485
  
• Fred S. Annexstein, Kenneth A. Berman, Tsan-sheng Hsu, Ramjee P. Swaminathan:
  A multi-tree routing scheme using acyclic orientations. 487-494