Satellite Workshops from CONCUR 2000

Volume 39, Number 1, 2000

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

Volume 39, Number 2, 2001

GEometry and Topology in COncurrency theory
PennState, USA, August 21, 2000

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

Volume 39, Number 3, 2000

MTCS 2000
State College, USA, 26 August 2000

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