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. 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

• 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

• 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
  

Last update Tue Feb 14 04:17:29 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page