| 1993 | Ultimately Periodic Words of Rational | Hugues Calbrix, Maurice Nivat, Andreas Podelski |
| 1993 | Another Approach to Sequentiality: Kleene's Unimonotone Functions. | Antonio Bucciarelli |
| 1993 | An Operational Semantics for TOOPLE: A Statically-Typed Object-Oriented Programming Language. | Kim B. Bruce, Jonathan Crabtree, Gerlad Kanapathy |
| 1993 | Sequential Functions on Indexed Domains and Full Abstraction for a Sub-Language of PCF. | Stephen D. Brookes, Shai Geva |
| 1993 | Three Metric Domains of Processes for Bisimulation. | Franck van Breugel |
| 1993 | Holomorhpic Models of Exponential Types in Linear Logic. | Richard Blute, Robert A. G. Seely, Prakash Panangaden |
| 1993 | Some Quasi-Varieties of Iteration Theories. | Stephen L. Bloom, Zoltn sik |
| 1993 | Compositional Process Semantics of Petri Boxes. | Eike Best, Hans-Gnther Linde-Gers |
| 1993 | A Categorical Interpretation of Landin's Correspondence Principle. | Anindya Banerjee, David A. Schmidt |
| 1993 | Topological Models for Higher Ordr Control Flow. | J. W. de Bakker, Franck van Breugel |
| 1993 | Final Universes of Processes. | Peter Aczel |
| 1991 | A Monoidal Closed Category of Event Structures. | Guo-Qiang Zhang |
| 1991 | Correctness of Procedure Representations in Higher-Order Assembly Language. | Mitchell Wand |
| 1991 | From Operational to Denotational Semantics. | Scott F. Smith |
| 1991 | Nonwellfounded Sets and Programming Language Semantics. | Jan J. M. M. Rutten |
| 1991 | An Exper Model for Quest. | Giuseppe Rosolini |
| 1991 | Primitive Recursive Functionals with Dependent Types. | Neal Nelson |
| 1991 | A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. | Michael W. Mislove, Frank J. Oles |
| 1991 | An Algorithm for Analyzing Communicating Processes. | Nicolas Mercouroff |
| 1991 | Connections. | Austin Melton, Bernd S. W. Schrder, George E. Strecker |
| 1991 | Types, Abstractions, and Parametric Polymorphism, Part 2. | QingMing Ma, John C. Reynolds |
| 1991 | Equations for if-then-else. | Ernest G. Manes |
| 1991 | Typed Homomorphic Relations Extended with Sybtypes. | Gary T. Leavens, Don Pigozzi |
| 1991 | Liminf Progress Measures. | Nils Klarlund |
| 1991 | On Continuous Time Agents. | Stefano Kasangian, Anna Labella |