
Final list of papers
Statistics
 51 submitted, 22 accepted, 3 invited
Editors
 Mathai Joseph and R K Shyamasundar
Foreword
Keynote

David Gries
The Emerging Scientific Practice of Programming, 118

Aravind K. Joshi
Adequacy of Phrase Structure Grammars for Characterizing Structural
Descriptions: Some Recent Developments, 277282

P. Flajolet
Methods in the Analysis of Algorithms, 320a
Refereed papers

C.E. Veni Madhavan, S. Krishna
Efficient Secondary Attribute Retrieval using Tree Data Structures, 1932

B.N.S. Murthy, S.N. Maheshwari
Optimisation of a Class of Relational Expressions, 3354

Peter Dybjer
Some Results on the Deuctive Structure of Join Dependencies, 5581

Egidio Astesiano, Elena Zucca
Parametric Channels in CCS and their Applications, 8295

Robert S. Streett
Global Process Logic is Undecidable, 96105

Juhani Karhum\"aki
Marked Morphisms: A Tool for Solving Problems Concerning Morphisms
over a Binary Alphabet, 106125

Matthias Jantzens and Manfred Kudlek
Homomorphic Images of Sentential Form Languages Defined by
Semi Thue Systems, 126135

JeanMichel Autebert
Abstract Families of Automata with Controls, 136145

K.R. Apt, A. Pnueli, J. Stavi
Fair Termination Revisited  with Delay, 146170

S. Mahadevan and R.K. Shyamasundar
On the Fairness of Distributed Programs, 171191

Rob Gerth, Willem P. de Roever, Marly Roncken
A Study in Distributed Systems and Dutch Patriotism, 192233

Mathai Joseph, Abha Moitra
Fault Tolerance in Communicating Processes, 234255

R.S. Yavatkar, A. Sudarshanam and S.L. Mehndiratta
Sanchay: A MultiNode File Server for a Local Area Network, 256276

Manfred Kudlek
Indian Parallel Systems, 283289

Rani Siromoney, V. Rajkumar Dare and K.G. Subramanian
On Inifinite Arrays obtained by Deterministic Controlled
Table LArray Systems, 290306

M. Latteux, J. Leguy
On the Usefulness of Bifaithful Rational Cones, 306a

V. Rajkumar Dare
Metric Topology on Infinite Derivations of Algebraic Grammars, 307320

V. Pan
Trilinear Aggregating is the Basis for the Asymptotically Fastest
Known Algorithms for Matrix Multiplication, 321337

A. Bagchi and Pradip K. Srimani
Heuristic Search in a Branch and Bound Framework, 338362

B. Ravikumar and K.B. Lakshmanan
Coping with Known Patterns of Lies in a Search Game, 363377

Phalguni Gupta and G.P. Bhattacharjee
Parallel Generation of Permutations with Repetitions Lexicographically, 378399

Yosada D. Murthy and G.P. Bhattacharjee and M.N. Seetaramanath
Time and SpaceOptimal HeightBalanced 23 BrotherTrees, 400421
