| 1993 | Deterministic Behavioural Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1993 | On Time-Space Trade-Offs in Dynamic Graph Pebbling. | Peter Ruzicka, Juraj Waczulk |
| 1993 | Verifying Properties of Module Construction in Type Theory. | Bernhard Reus, Thomas Streicher |
| 1993 | The Snack Powerdomain for Database Semantics. | Hermann Puhlmann |
| 1993 | The Second Calculus of Binary Relations. | Vaughan R. Pratt |
| 1993 | On Saturated Calculi for a Linear Temporal Logic. | Regimantas Pliuskevicius |
| 1993 | Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new? | Andrew M. Pitts, Ian David Bede Stark |
| 1993 | A Representation Theorem for Lambda Abstraction Algebras. | Don Pigozzi, Antonino Salibra |
| 1993 | Heterogeneous Unified Algebras. | Francesco Parisi-Presicce, S. Veglioni |
| 1993 | Constant Time Reductions in Lambda-Caculus. | Michel Parigot, Paul Rozire |
| 1993 | Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs. | Pawel Paczkowski |
| 1993 | New Algorithms for Detecting Morphic Images of a Word. | Jean Nraud |
| 1993 | The Boundary of Substitution Systems. | Philippe Narbel |
| 1993 | Observing Located Concurrency. | David Murphy |
| 1993 | Action Calculi, or Syntactic Action Structures. | Robin Milner |
| 1993 | Deliverables: A Categorial Approach to Program Development in Type Theory. | James McKinna, Rod M. Burstall |
| 1993 | Post Correspondence Problem: Primitivity and Interrelations with Complexity Classes. | Alexandru Mateescu, Arto Salomaa |
| 1993 | A Uniform Universal CREW PRAM. | Bruno Martin |
| 1993 | Proof Systems for Cause Based Equivalences. | Astrid Kiehn |
| 1993 | A Taxonomy of Forgetting Automata. | Petr Jancar, Frantisek Mrz, Martin Pltek |
| 1993 | On the Communication Complexity of Parallel Computation. | Oscar H. Ibarra, Nicholas Q. Trn |
| 1993 | Efficient Parallel Graph Algorithms Based on Open Ear Decomposition. | Louis Ibarra, Dana S. Richards |
| 1993 | Some Hierarchies for the Communication Complexity Measures of Cooperating Grammar Systems. | Juraj Hromkovic, Jarkko Kari, Lila Kari |
| 1993 | Some Results on the Full Abstraction Problem for Restricted Lambda Calculi. | Furio Honsell, Marina Lenisa |
| 1993 | Symbolic Bisimulations (Abstract). | Matthew Hennessy |