Theoretical Computer Science 114 (1993) 331 Elsevier Author Index Volume 114 (1993) (The issue number is given in front of the page numbers) Abadi, M. and G.D. Plotkin, A logical view of composition (1) 3-30 Barr, M., Terminal coalgebras in well-founded set theory (2) 299-315 Best, E. and G. Rozenberg, Preface to the Special Issue of Selected Papers of the Third Workshop on Concurrency and Compositionality, Goslar, Germany, March 5-8, 1991 (1) 1 Boudol, G., I. Castellani, M. Hennessy and A. Kiehn, Observing localities (1) 31- 61 Boudriga, N., see J. Desharnais (2) 247-272 Castellani, I., see G. Boudol (1) 31- 61 De Nicola, R., see P. Degano (1) 63- 91 Degano, P., R. De Nicola and U. Montanari, Universal axioms for bisimulations (1) 63- 91 Desel, J. and J. Esparza, Reachability in cyclic extended free-choice systems (1) 93-118 Desharnais, J., A. Jaoua, F. Mili, N. Boudriga and A. Mili, A relational division operator: the conjugate kernel (2) 247-272 Dougherty, D.J., Higher-order unification via combinators (2) 273-298 Eiter, T. and G. Gottlob, Propositional circumscription and extended closed-world reasoning are I‘ -complete (2) 231-245 Elvang-Goransson, M. and O. Owe, A simple sequent calculus for partial functions (Note) (2) 317-330 Esparza, J., see J. Desel (1) 93-118 Gottlob, G., see T. Eiter (2) 231-245 Hennessy, M., see G. Boudol (1) 31- 61 Jaoua, A., see J. Desharnais (2) 247-272 Kiehn, A., see G. Boudol (1) 31- 61 Larsen, K.G., The expressive power of implicit specifications (1) 119-147 Mili, A., see J. Desharnais (2) 247-272 Mili, F., see J. Desharnais (2) 247-272 Milner, R., J. Parrow and D. Walker, Modal logics for mobile processes (1) 149-171 Montanari, U., see P. Degano (1) 63- 91 Owe, O., see M. Elvang-Goransson (2) 317-330 Parrow, J., see R. Milner (1) 149-171 Plotkin, G.D., see M. Abadi (1) 3- 30 Rozenberg, G., see E. Best (1) 1 Vickers, S., Information systems for continuous posets (Fundamental Study) (2) 201-229 Vogler, W., Bisimulation and action refinement (1) 173-200 Walker, D., see R. Milner (1) 149-171 Elsevier Science Publishers B.V.