| 1994 | Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt |
| 1993 | A Categorical Interpretation of Landin's Correspondence Principle. Anindya Banerjee, David A. Schmidt |
| 1993 | A Chemical Abstract Machine for Graph Reduction. Alan Jeffrey |
| 1993 | A Complete Axiomatisation for Trace Congruence of Finite State Behaviors. Alexander Moshe Rabinovich |
| 1993 | A Predicative Semantics for the Refinement of Real-Time Systems. David Scholefield, Hussein S. M. Zedan, Jifeng He |
| 1993 | A Strucutral Co-Induction Theorem. Jan J. M. M. Rutten |
| 1993 | A Syntax for Linear Logic. Philip Wadler |
| 1993 | An Investigation into Functions as Processes. Davide Sangiorgi |
| 1993 | An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy |
| 1993 | Another Approach to Sequentiality: Kleene's Unimonotone Functions. Antonio Bucciarelli |
| 1993 | Axiomatising Real-Time Processes. Liang Chen |
| 1993 | Category of Delta-Functors. Adrian Fiech |
| 1993 | Compositional Process Semantics of Petri Boxes. Eike Best, Hans-Günther Linde-Göers |
| 1993 | Computational Adequacy via "Mixed" Inductive Definitions. Andrew M. Pitts |
| 1993 | Final Universes of Processes. Peter Aczel |
| 1993 | Holomorhpic Models of Exponential Types in Linear Logic. Richard Blute, Robert A. G. Seely, Prakash Panangaden |
| 1993 | Lifting Theorems for Kleisli Categories. Philip S. Mulry |
| 1993 | Linear Domains and Linear Maps. Michael Huth |
| 1993 | Mechanizing Logical Relations. Allen Stoughton |
| 1993 | On the Specification of Elementary Reactive Behaviour. G. Michele Pinna, Axel Poigné |
| 1993 | On the Symmetry of Sequentiality. Pierre-Louis Curien |
| 1993 | On the Transformation between Direct and Continuation Semantics. Olivier Danvy, John Hatcliff |
| 1993 | Probabilistic Power Domains, Information Systems, and Locales. Reinhold Heckmann |
| 1993 | Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. Stephen D. Brookes, Shai Geva |
| 1993 | Some Quasi-Varieties of Iteration Theories. Stephen L. Bloom, Zoltán Ésik |
| 1993 | The Asymmetric Topology of Computer Science. Ralph Kopperman, Bob Flagg |
| 1993 | Three Metric Domains of Processes for Bisimulation. Franck van Breugel |
| 1993 | Time Abstracted Bisimiulation: Implicit Specifications and Decidability. Kim Guldstrand Larsen, Wang Yi |
| 1993 | Timewise Refinement for Communicating Processes. Steve A. Schneider |
| 1993 | Topological Models for Higher Ordr Control Flow. J. W. de Bakker, Franck van Breugel |
| 1993 | Ultimately Periodic Words of Rational Hugues Calbrix, Maurice Nivat, Andreas Podelski |
| 1993 | Universal Quasi-Prime Algebraic Domains. Guo-Qiang Zhang |