Volume 94, February 2008

• 
  Nikolay K. Vereshchagin: Kolmogorov Complexity and Games. 43-75
• 
  Luís Caires: Dynamic Spatial Logics: A Tutorial Survey. 77-112
• 
  Luca Aceto, Jos C. M. Baeten, Wan Fokkink, Anna Ingólfsdóttir, Uwe Nestmann: Applying Concurrency Research in Industry Report on a Strategic Workshop. 113-129
• 
  Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel: Self-Stabilization from Theory to Practice. 130-150
• 
  Hartmut Ehrig, Ulrike Prange: Flattening of Generalized Algebraic High-Level Nets. 151-160
• 
  Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari: Style-Based Architectural Reconfigurations. 161-180
• 
  Bakhadyr Khoussainov, Anil Nerode: Open Questions in the Theory of Automatic Structures. 181-204

• 
  Gerhard J. Woeginger: Four Non-Deterministic Programming Exercises. 207-211
• 
  Hunter Monroe: Are There Natural Problems with Speedup? 212-220

• 
  Arnold L. Rosenberg: A "Big-Ideas" Computation Theory Course for the Undergraduate. 222-232

last updated on Thu May 23 04:09:42 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page