Electronic Notes in Theoretical Computer Science, Volume 39

Volume 39, Number 1, 2000

• Jos C. M. Baeten:
  Embedding Untimed into Timed Process Algebra; the Case for Explicit Termination.
  
• Martin Berger, Kohei Honda:
  The Two-Phase Commitment Protocol in an Extended pi-Calculus.
  
• Flavio Corradini, Dino Di Cola:
  The Expressive Power of Urgent, Lazy and Busy-Waiting Actions in Timed Processes.
  
• Shoham Shamir, Orna Kupferman, Eli Shamir:
  Branching-Depth Hierarchies.
  
• Jirí Srba:
  Complexity of Weak Bisimilarity and Regularity for BPA and BPP.
  
• Pascal Zimmer:
  On the Expressiveness of Pure Mobile Ambients.
  

Volume 39, Number 2, 2001

• Eric Goubault:
  Foreword.
  
• Lisbeth Fajstrup, Stefan Sokolowski:
  Infinitely Running Concurrent Processes with Loops from a Geometric Viewpoint.
  
• Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle:
  An Overview of Synchronous Message-Passing and Topology.
  
• Philippe Gaucher:
  From Concurrency to Algebraic Topology.
  
• Jérôme Feret:
  Occurrence Counting Analysis for the pi-Calculus.
  

Volume 39, Number 3, 2000

• Flavio Corradini, Paola Inverardi:
  Preface.
  
• Mario Bravetti, Marco Bernardo:
  Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time.
  
• Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
  Exploiting Partial Symmetries for Markov Chain Aggregation.
  
• Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka:
  Real-Time Verification Techniques for Untimed Systems.
  
• Lone Halkjaer, Karen Haervig, Anna Ingólfsdóttir:
  Verification of the legOS Scheduler using Uppaal.
  
• Ella E. Roubtsova, Jan van Katwijk, W. J. Toetenel, Cornelis Pronk, Ruud C. M. de Rooij:
  Specification of Real-Time Systems in UML.
  
• Walter Vogler, Lars Jenner:
  Axiomatizing a Fragment of PAFAS.
  
• Thomas A. Henzinger:
  Exploiting Design Structure in Model Checking.