Theoretical Computer Science, Volume 309

Volume 309, Numbers 1-3, 2 December 2003

• Thomas Ehrhard, Laurent Regnier:
  The differential lambda-calculus. 1-41
  Electronic Edition (link) BibTeX
• Peter Selinger:
  Order-incompleteness and finite lambda reduction models. 43-63
  Electronic Edition (link) BibTeX
• Vashti Galpin:
  A format for semantic equivalence comparison. 65-109
  Electronic Edition (link) BibTeX
• Thomas Forster:
  Better-quasi-orderings and coinduction. 111-123
  Electronic Edition (link) BibTeX
• Claudio Hermida, Paulo Mateus:
  Paracategories I: internal paracategories and saturated partial algebras. 125-156
  Electronic Edition (link) BibTeX
• Paul Gardiner:
  Power simulation and its relation to traces and failures refinement. 157-176
  Electronic Edition (link) BibTeX
• Dirk Pattinson:
  Coalgebraic modal logic: soundness, completeness and decidability of local consequence. 177-193
  Electronic Edition (link) BibTeX
• Sándor Vágvölgyi:
  Right-linear half-monadic term rewrite systems. 195-211
  Electronic Edition (link) BibTeX
• Lutz Straßburger:
  MELL in the calculus of structures. 213-285
  Electronic Edition (link) BibTeX
• Zhaohui Zhu, Xian Xiao, Yong Zhou, Wujia Zhu:
  Normal conditions for inference relations and injective models. 287-311
  Electronic Edition (link) BibTeX
• Jan A. Bergstra, Alban Ponse, Mark van der Zwaag:
  Branching time and orthogonal bisimulation equivalence. 313-355
  Electronic Edition (link) BibTeX
• Francisco Durán, José Meseguer:
  Structured theories and institutions. 357-380
  Electronic Edition (link) BibTeX
• Daniel Kirsten, Jerzy Marcinkowski:
  Two techniques in the area of the star problem in trace monoids. 381-412
  Electronic Edition (link) BibTeX
• Bernard Boigelot:
  On iterating linear transformations over recognizable sets of integers. 413-468
  Electronic Edition (link) BibTeX
• Dan R. Ghica, Guy McCusker:
  The regular-language semantics of second-order idealized A_LGOL. 469-502
  Electronic Edition (link) BibTeX
• Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini:
  Concurrency in timed automata. 503-527
  Electronic Edition (link) BibTeX
• Markus Lohrey:
  Realizability of high-level message sequence charts: closing the gaps. 529-554
  Electronic Edition (link) BibTeX