Electronic Notes in Theoretical Computer Science, Volume 161

Volume 161, August 2006

• Anthony Karel Seda, Ted Hurley, Michel P. Schellekens, Mícheál Mac an Airchinnigh, Glenn Strong:
  Preface. 1-2
  Electronic Edition (link) BibTeX
• Michael Huth:
  Topological Analysis of Refinement. 3-23
  Electronic Edition (link) BibTeX
• Georg Essl:
  Computation of Wave Fronts on a Disk I: Numerical Experiments. 25-41
  Electronic Edition (link) BibTeX
• Martin Hyland, Misao Nagayama, John Power, Giuseppe Rosolini:
  A Category Theoretic Formulation for Engeler-style Models of the Untyped lambda. 43-57
  Electronic Edition (link) BibTeX
• John Power:
  Countable Lawvere Theories and Computational Effects. 59-71
  Electronic Edition (link) BibTeX
• Andrew Butterfield, Jim Woodcock:
  A "Hardware Compiler" Semantics for Handel-C. 73-90
  Electronic Edition (link) BibTeX
• Sharon Flynn, Dick Hamlet:
  On Formal Specification of Software Components and Systems. 91-107
  Electronic Edition (link) BibTeX
• Anthony Karel Seda:
  On the Integration of Connectionist and Logic-Based Systems. 109-130
  Electronic Edition (link) BibTeX
• Alessandra Di Pierro, Herbert Wiklicky:
  Operator Algebras and the Operational Semantics of Probabilistic Languages. 131-150
  Electronic Edition (link) BibTeX
• Rueiher Tsaur, Michael B. Smyth:
  Convexity in Helly Graphs: Selection and Almost Fixed Point Properties for Multifunctions. 151-163
  Electronic Edition (link) BibTeX
• Salvador Romaguera, E. A. Sánchez-Pérez, O. Valero:
  The Dual Complexity Space as the Dual of a Normed Cone. 165-174
  Electronic Edition (link) BibTeX
• M. O'Keeffe, Homeira Pajoohesh, Michel P. Schellekens:
  Decision Trees of Algorithms and a Semivaluation to Measure Their Distance. 175-183
  Electronic Edition (link) BibTeX