Theoretical Computer Science, Volume 286

Volume 286, Number 1, September 2002

• Peter Ruzicka: Preface. 1
• Foto N. Afrati, Irène Guessarian, Michel de Rougemont: The expressiveness of DAC. 3-32
• Walter Vogler: Partial order semantics and read arcs. 33-63
• Zurab Khasidashvili, John R. W. Glauert: Relating conflict-free stable transition and event models via redex families. 65-95
• Markus Holzer: Multi-head finite automata: data-independent versus data-dependent computations. 97-116
• Christian Choffrut, Giovanni Pighizzini: Distances between languages and reflexivity of relations. 117-138
• Drago Krznaric, Christos Levcopoulos: Optimal algorithms for complete linkage clustering in d dimensions. 139-149

Volume 286, Number 2, September 2002

• José Luiz Fiadeiro: Preface. 151
• Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki: CASL: the Common Algebraic Specification Language. 153-196
• Tomasz Borzyszkowski: Logical systems for structured specifications. 197-245
• Roberto Bruni, Fabio Gadducci, Ugo Montanari: Normal forms for algebras of connection. 247-292
• Andrea Corradini, Fabio Gadducci: A functorial semantics for multi-algebras and partial algebras, with applications to syntax. 293-322
• Beata Konikowska: Rasiowa-Sikorski deduction systems in computer science applications. 323-366
• Till Mossakowski: Relating CASL with other specification languages: the institution level. 367-475