Theoretical Computer Science, Volume 253

Volume 253, Number 1, 17 February 2001

• Miquel Bertran, Teodor Rus:
  Papers from ARTS'97 - Preface. 1
  
• Manfred Broy:
  Refinement of time. 3-26
  
• Nikolaj Bjørner, Zohar Manna, Henny Sipma, Tomás E. Uribe:
  Deductive verification of real-time systems using STeP. 27-60
  
• Henning Dierks:
  PLC-automata: a new class of implementable real-time automata. 61-93
  
• Sérgio Vale Aguiar Campos, Edmund M. Clarke:
  The Verus language: representing time efficiently with BDDs. 95-118
  
• Zhiming Liu, Mathai Joseph:
  Verification, refinement and scheduling of real-time programs. 119-152
  

Volume 253, Number 2, 28 February 2001

• Catuscia Palamidessi:
  Foreword. 153
  
• Chiara Bodei, Pierpaolo Degano, Corrado Priami:
  Names of the -calculus agents handled locally. 155-184
  
• Stefano Guerrini, Simone Martini, Andrea Masini:
  Proof nets, garbage, and computations. 185-237
  
• Furio Honsell, Marino Miculan, Ivan Scagnetto:
  pi-calculus in (Co)inductive-type theory. 239-285
  
• Prakash Panangaden:
  Measure and probability for concurrency theorists. 287-309
  
• Davide Sangiorgi:
  Asynchronous process calculi: the first- and higher-order paradigms. 311-350