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