Theoretical Computer Science, Volume 211

Volume 211, Numbers 1-2, 28 January 1999

• Maciej Koutny, Eike Best:
  Operational and Denotational Semantics for the Box Algebra. 1-83
  Electronic Edition (link) BibTeX
• George M. Reed, A. W. Roscoe:
  The Timed Failures-Stability Model for CSP. 85-127
  Electronic Edition (link) BibTeX
• Matthew Stone:
  Representing Scope in Intuitionistic Deductions. 129-188
  Electronic Edition (link) BibTeX
• Yong Sun:
  An Algebraic Generalization of Frege Structures-Binding Algebras. 189-232
  Electronic Edition (link) BibTeX
• A. S. Troelstra:
  From Constructivism to Computer Science. 233-252
  Electronic Edition (link) BibTeX
• Rajeev Alur, Limor Fix, Thomas A. Henzinger:
  Event-Clock Automata: A Determinizable Class of Timed Automata. 253-273
  Electronic Edition (link) BibTeX
• Marco Comini, Maria Chiara Meo:
  Compositionality Properties of SLD-Derivations. 275-309
  Electronic Edition (link) BibTeX
• Joost Engelfriet, Tjalling Gelsema:
  Multisets and Structural Congruence of the pi-Calculus with Replication. 311-337
  Electronic Edition (link) BibTeX
• Luca Aceto, Jan Friso Groote:
  A Complete Equational Axiomatization for MPA with String Iteration. 339-374
  Electronic Edition (link) BibTeX
• Roel Bloo, Herman Geuvers:
  Explicit Substitution On the Edge of Strong Normalization. 375-395
  Electronic Edition (link) BibTeX
• Chantal Berline, Klaus Grue:
  A kappa-Denotational Semantics for Map Theory in ZFC+SI. 397-398
  Electronic Edition (link) BibTeX