Theoretical Computer Science, Volume 274

Volume 274, Number 1-2, March 2002

• Davide Sangiorgi, Robert de Simone:
  Ninth International Conference on Concurrency Theory 1998 - Editorial. 1
  Electronic Edition (link) BibTeX
• Frank S. de Boer:
  A Hoare logic for dynamic networks of asynchronously communicating deterministic processes. 3-41
  Electronic Edition (link) BibTeX
• Holger Hermanns, Ulrich Herzog, Joost-Pieter Katoen:
  Process algebra for performance evaluation. 43-87
  Electronic Edition (link) BibTeX
• Denis Lugiez, Ph. Schnoebelen:
  The regular viewpoint on PA-processes. 89-115
  Electronic Edition (link) BibTeX
• P. Madhusudan, P. S. Thiagarajan:
  Branching time controllers for discrete event systems. 117-149
  Electronic Edition (link) BibTeX
• Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger:
  Axioms for real-time logics. 151-182
  Electronic Edition (link) BibTeX
• Peter Sewell:
  From rewrite rules to bisimulation congruences. 183-230
  Electronic Edition (link) BibTeX
• Nobuko Yoshida:
  Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators. 231-276
  Electronic Edition (link) BibTeX