Acta Informatica, Volume 39

Volume 39, Number 1, 2003

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

Volume 39, Number 2, 2003

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

Volume 39, Number 3, March 2003

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

Volume 39, Number 4, April 2003

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

Volume 39, Number 5, May 2003

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

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
  Electronic Edition (link) BibTeX
• James D. Currie, Erica Moodie:
  A word on 7 letters which is non-repetitive up to mod 5. 451-468
  Electronic Edition (link) BibTeX
• Jirí Srba:
  Strong bisimilarity of simple process algebras: complexity lower bounds. 469-499
  Electronic Edition (link) BibTeX
• Wan Fokkink, Thuy Duong Vu:
  Structural operational semantics and bounded nondeterminism. 501-516
  Electronic Edition (link) BibTeX
• Juan Castellanos, Carlos Martín-Vide, Victor Mitrana, José M. Sempere:
  Networks of evolutionary processors. 517-529
  Electronic Edition (link) BibTeX

Volume 39, Number 8, July 2003

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

Volume 39, Number 9, August 2003

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