| 1993 | Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). | Roberto Segala |
| 1993 | A Classification of Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1993 | A Theory of Bisimulation for the pi-Calculus. | Davide Sangiorgi |
| 1993 | Programming with Broadcasts. | K. V. S. Prasad |
| 1993 | From CML to Process Algebras (Extended Abstract). | Flemming Nielson, Hanne Riis Nielson |
| 1993 | Loop Parallelization in the Polytope Model. | Christian Lengauer |
| 1993 | A pi-Calculus Semantics for an Object-Based Design Notation. | Cliff B. Jones |
| 1993 | Model Construction for Implicit Specifications in Model Logic. | Ole Hgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen |
| 1993 | Local Event Structures and Petri Nets. | P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan |
| 1993 | Types for Dyadic Interaction. | Kohei Honda |
| 1993 | Interpreting Broadcast Communication in SCCS. | Uno Holmer |
| 1993 | Proof Systems for Message-Passing Process Algebras. | Matthew Hennessy, Huimin Lin |
| 1993 | A Generalized Event Structure for the Muller Unfolding of a Safe Net. | Jeremy Gunawardena |
| 1993 | Domains of Higher-Dimensional Automata. | Eric Goubault |
| 1993 | The Linear Time - Branching Time Spectrum II. | Rob J. van Glabbeek |
| 1993 | An Elimination Theorem for Regular Behaviours with Integration. | Wan J. Fokkink |
| 1993 | Modular Completeness for Communication Closed Layers. | Maarten M. Fokkinga, Mannes Poel, Job Zwiers |
| 1993 | A Multiset Semantics for the pi-Calculus with Replication. | Joost Engelfriet |
| 1993 | Model Checking Mobile Processes. | Mads Dam |
| 1993 | Minimal Memory Schedules for Dataflow Networks. | Marija Cubric, Prakash Panangaden |
| 1993 | Bisimulation Equivalence is Decidable for Basic Parallel Processes. | Sren Christensen, Yoram Hirshfeld, Faron Moller |
| 1993 | Refinement and Decomposition of Value-Passing Action Systems. | Michael J. Butler |
| 1993 | A Practical Technique for Process Abstraction. | Glenn Bruns |
| 1993 | ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. | Patrice Brmond-Grgoire, Insup Lee, Richard Gerber |
| 1993 | The Lambda-Calculus with Multiplicities (Abstract). | Grard Boudol |