Nordic Journal of Computing, Volume 9

Volume 9, Number 1, Spring 2002

• Mayer Goldberg, Mads Torgersen: How to Circumvent Church Numerals. 1-12
• Giri Narasimhan, Michiel H. M. Smid: Approximation Algorithms for the Bottleneck Stretch Factor Problem. 13-31
• Mikael Hammar, Bengt J. Nilsson, Sven Schuierer: Improved Exploration of Rectilinear Polygons. 32-53
• Maxime Crochemore, Costas S. Iliopoulos, Christos Makris, Wojciech Rytter, Athanasios K. Tsakalidis, T. Tsichlas: Approximate String Matching with Gaps. 54-65
• Kasey N. Klipsch, David S. Wise: Blood from Dahm's Turnip. 66-68

Volume 9, Numer 2, Summer 2002

• Luca Aceto, Prakash Panangaden: Guest Editors' Foreword. 69
• Roberto M. Amadio, Charles Meyssonnier: On Decidability of the Control Reachability Problem in the Asynchronous pi-Calculus. 70-101
• Julian C. Bradfield, Sibylle B. Fröschle: Independence-Friendly Modal Logic and True Concurrency. 102-117
• Anne Labroue, Ph. Schnoebelen: An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems. 118-144
• Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia: Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. 145-188

Volume 9, Numberr 3, Fall 2002

• Kasper Østerbye: Guest Editor's Foreword. 189-190
• Erik Ernst: Safe Dynamic Multiple Inheritance. 191-208
• Thomas Vestdam: Elucidative Program Tutorials. 209-230
• Erik Arisholm, Dag I. K. Sjøberg, Gunnar J. Carelius, Y. Lindsjørn: A Web-Based Support Environment for Software Engineering Experiments. 231-247
• Imed Hammouda, Kai Koskimies: A Pattern-Based J2EE Application Development Environment. 248-260
• Lars Bendix, Görel Hedin: Summary of the Subworkshop on Extreme Programming. 261-266

Volume 9, Number 4, 2002

• Magne Haveraaen, Michael R. Hansen: Guest Editors' Foreword. 267-268
• Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. 269-300
• Jochen Hoenicke, Ernst-Rüdiger Olderog: CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time. 301-334
• Flemming Nielson, Helmut Seidl, Hanne Riis Nielson: A Succinct Solver for ALFP. 335-372
• Eric G. Wagner: Algebraic Specifications: some old history and new thoughts. 373-404
• Heike Wehrheim: Relating State-based and Behaviour-oriented Subtyping. 405-435