Electronic Notes in Theoretical Computer Science, Volume 192

Volume 192, Number 1, October 2007

• Rob J. van Glabbeek, Matthew Hennessy:
  Preface. 1-3
  Electronic Edition (link) BibTeX
• Pawel Sobocinski:
  A Well-behaved LTS for the Pi-calculus: (Abstract). 5-11
  Electronic Edition (link) BibTeX
• David de Frutos-Escrig, Carlos Gregorio-Rodríguez:
  Simulations Up-to and Canonical Preorders: (Extended Abstract). 13-28
  Electronic Edition (link) BibTeX
• Patrick Cousot, Radhia Cousot:
  Bi-inductive Structural Semantics: (Extended Abstract). 29-44
  Electronic Edition (link) BibTeX
• Harald Fecher, Heiko Schmidt:
  Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems. 45-60
  Electronic Edition (link) BibTeX
• Jesper Bengtson, Joachim Parrow:
  A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle. 61-75
  Electronic Edition (link) BibTeX
• Astrid Kiehn:
  An Operational Semantics for Shared Messaging Communication. 77-92
  Electronic Edition (link) BibTeX
• Iain Phillips, Irek Ulidowski:
  Reversibility and Models for Concurrency. 93-108
  Electronic Edition (link) BibTeX
• Mohammad Reza Mousavi, Michel A. Reniers:
  A Congruence Rule Format with Universal Quantification. 109-124
  Electronic Edition (link) BibTeX
• Traian-Florin Serbanuta, Grigore Rosu, José Meseguer:
  A Rewriting Logic Approach to Operational Semantics (Extended Abstract). 125-141
  Electronic Edition (link) BibTeX