Theoretical Computer Science, Volume 269

Volume 269, Number 1-2, October 2001

• Reihaneh Safavi-Naini, Huaxiong Wang:
  Broadcast authentication for group communication. 1-21
  
• Rainer Kerth:
  On the construction of stable models of untyped lambda-calculus. 23-46
  
• Flavio Corradini, Gian Luigi Ferrari, Marco Pistore:
  On the semantics of durational actions. 47-82
  
• Paola Quaglia:
  Explicit substitutions for pi-congruences. 83-134
  
• Oege de Moor, Ganesh Sittampalam:
  Higher-order matching for program transformation. 135-162
  
• Yaron Riany, Nir Shavit, Dan Touitou:
  Towards a practical snapshot algorithm. 163-201
  
• Jan A. Bergstra, Alban Ponse:
  Non-regular iterators in process algebra. 203-229
  
• Simone Tini:
  An axiomatic semantics for Esterel. 231-282
  
• Olivier Finkel:
  Wadge hierarchy of omega context-free languages. 283-315
  
• Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
  Weak normalization implies strong normalization in a class of non-dependent pure type systems. 317-361
  
• Joaquín Mateos-Lago, Mario Rodríguez-Artalejo:
  A declarative framework for object-oriented programming with genetic inheritance. 363-417
  
• Dragan Masulovic, Boza Tasic:
  Operators on classes of coalgebras. 419-431
  
• Ingo Lepper:
  Derivation lengths and order types of Knuth-Bendix orders. 433-450
  
• Ivo Düntsch, Szabolcs Mikulás:
  Cylindric structures and dependencies in relational databases. 451-468
  
• Michel Rigo:
  Numeration systems on a regular language: arithmetic operations, recognizability and formal power series. 469-498