Theoretical Computer Science, Volume 114

Volume 114, Number 1, 1993

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

Volume 114, Number 2, 1993

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