Volume 39, Number 1, 2003

• 
  Stéphane Coulondre: A top-down proof procedure for generalized data dependencies. 1-29
• 
  Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli: Synchronized regular expressions. 31-70

Volume 39, Number 2, 2003

• 
  Alfredo Burrieza, Inman P. de Guzmán: A functional approach for temporal × modal logics. 71-96
• 
  Leah Epstein: Bin stretching revisited. 97-117
• 
  Ján Gaso, Martin Nehéz: Stochastic cooperative distributed grammar systems and random graphs. 119-140

Volume 39, Number 3, March 2003

• 
  Friedrich L. Bauer, Manfred Broy: Edsger W. Dijkstra - Acta Informatica and Marktoberdorf. 141-142
• 
  Bartek Kiepuszewski, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst: Fundamentals of control flow in workflows. 143-209
• 
  Wim H. Hesselink: Preference rankings in the face of uncertainty. 211-231

Volume 39, Number 4, April 2003

• 
  Axel Wabenhorst: Stepwise development of fair distributed systems. 233-271
• 
  Wolfgang Reisig: On Gurevich's theorem on sequential algorithms. 273-305

Volume 39, Number 5, May 2003

• 
  Alexander Meduna: Coincidental extension of scattered context languages. 307-314
• 
  Mingsheng Ying: Reasoning about probabilistic sequential programs in a probabilistic logic. 315-389

Volume 39, Numbers 6-7, June 2003

• 
  Joachim Biskup, Torsten Polle: Adding inclusion dependencies to an object-oriented data model with uniqueness constraints. 391-449
• 
  James D. Currie, Erica Moodie: A word on 7 letters which is non-repetitive up to mod 5. 451-468
• 
  Jirí Srba: Strong bisimilarity of simple process algebras: complexity lower bounds. 469-499
• 
  Wan Fokkink, Thuy Duong Vu: Structural operational semantics and bounded nondeterminism. 501-516
• 
  Juan Castellanos, Carlos Martín-Vide, Victor Mitrana, José M. Sempere: Networks of evolutionary processors. 517-529

Volume 39, Number 8, July 2003

• 
  Mila E. Majster-Cederbaum, Jinzhao Wu: Towards action refinement for true concurrent real time. 531-577
• 
  Pedro V. Silva: A note on pure and p-pure languages. 579-595
• 
  Edward G. Coffman Jr., Jay Sethuraman, Vadim G. Timkovsky: Ideal preemptive schedules on two processors. 597-612

Volume 39, Number 9, August 2003

• 
  Joost Engelfriet, Sebastian Maneth: A comparison of pebble tree transducers with macro tree transducers. 613-698
• 
  Alexander Meduna: Erratum: Coincidental extension of scattered context languages. 699

last updated on Wed May 22 05:15:08 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page