Theoretical Computer Science, Volume 114

Volume 114, Number 1, 1993

• Martín Abadi, Gordon D. Plotkin: A Logical View of Composition. 3-30
• Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: Observing Localities. 31-61
• Pierpaolo Degano, Rocco De Nicola, Ugo Montanari: Universal Axioms for Bisimulations. 63-91
• Jörg Desel, Javier Esparza: Reachability in Cyclic Extended Free-Choice Systems. 93-118
• Kim Guldstrand Larsen: The Expressive Power of Implicit Specifications. 119-147
• Robin Milner, Joachim Parrow, David Walker: Modal Logics for Mobile Processes. 149-171
• Walter Vogler: Bisimulation and Action Refinement. 173-200

Volume 114, Number 2, 1993

• Steven Vickers: Information Systems for Continuous Posets. 201-229
• Thomas Eiter, Georg Gottlob: Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. 231-245
• Jules Desharnais, Ali Jaoua, Fatma Mili, Noureddine Boudriga, Ali Mili: A Relation Division Operator: The Conjugate Kernel. 247-272
• Daniel J. Dougherty: Higher-Order Unification via Combinators. 273-298
• Michael Barr: Terminal Coalgebras in Well-Founded Set Theory. 299-315
• Morten Elvang-Gøransson, Olaf Owe: A Simple Sequent Calculus for Partial Functions. 317-330