| 1993 | A Classification of Models for Concurrency. Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1993 | A Congruence Theorem for Structured Operational Semantics with Predicates. Jos C. M. Baeten, Chris Verhoef |
| 1993 | A Generalized Event Structure for the Muller Unfolding of a Safe Net. Jeremy Gunawardena |
| 1993 | A Linear Local Model Checking Algorithm for CTL. Bart Vergauwen, Johan Lewi |
| 1993 | A Multiset Semantics for the pi-Calculus with Replication. Joost Engelfriet |
| 1993 | A Practical Technique for Process Abstraction. Glenn Bruns |
| 1993 | A Theory of Bisimulation for the pi-Calculus. Davide Sangiorgi |
| 1993 | A pi-Calculus Semantics for an Object-Based Design Notation. Cliff B. Jones |
| 1993 | ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities. Patrice Brémond-Grégoire, Insup Lee, Richard Gerber |
| 1993 | An Elimination Theorem for Regular Behaviours with Integration. Wan J. Fokkink |
| 1993 | Bisimulation Equivalence is Decidable for Basic Parallel Processes. Søren Christensen, Yoram Hirshfeld, Faron Moller |
| 1993 | Branching Time Temporal Logic and Amorphous Tree Automata. Orna Bernholtz, Orna Grumberg |
| 1993 | CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings Eike Best |
| 1993 | Domains of Higher-Dimensional Automata. Eric Goubault |
| 1993 | From CML to Process Algebras (Extended Abstract). Flemming Nielson, Hanne Riis Nielson |
| 1993 | Interpreting Broadcast Communication in SCCS. Uno Holmer |
| 1993 | Local Event Structures and Petri Nets. P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan |
| 1993 | Loop Parallelization in the Polytope Model. Christian Lengauer |
| 1993 | Minimal Memory Schedules for Dataflow Networks. Marija Cubric, Prakash Panangaden |
| 1993 | Model Checking Mobile Processes. Mads Dam |
| 1993 | Model Construction for Implicit Specifications in Model Logic. Ole Høgh Jensen, Jarl Tuxen Lang, Christian Jeppesen, Kim Guldstrand Larsen |
| 1993 | Modular Completeness for Communication Closed Layers. Maarten M. Fokkinga, Mannes Poel, Job Zwiers |
| 1993 | Networks of Real-Time Processes. Robert Kim Yates |
| 1993 | Non Interleaving Process Algebra. Jos C. M. Baeten, Jan A. Bergstra |
| 1993 | On the Ill-Timed but Well-Caused. Luca Aceto, David Murphy |
| 1993 | On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. Roberto M. Amadio |
| 1993 | Partial-Order Methods for Temporal Verification. Pierre Wolper, Patrice Godefroid |
| 1993 | Principal Typing Schemes in a Polyadic pi-Calculus. Vasco Thudichum Vasconcelos, Kohei Honda |
| 1993 | Programming with Broadcasts. K. V. S. Prasad |
| 1993 | Proof Systems for Message-Passing Process Algebras. Matthew Hennessy, Huimin Lin |
| 1993 | Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). Roberto Segala |
| 1993 | Refinement and Decomposition of Value-Passing Action Systems. Michael J. Butler |
| 1993 | Structured Operational Sematics for Process Algebras and Equational Axiom Systems. Bard Bloom |
| 1993 | The Lambda-Calculus with Multiplicities (Abstract). Gérard Boudol |
| 1993 | The Linear Time - Branching Time Spectrum II. Rob J. van Glabbeek |
| 1993 | Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract). Shengzong Zhou, Rob Gerth, Ruurd Kuiper |
| 1993 | Two Fully Abstract Models for UNITY. Rob T. Udink, Joost N. Kok |
| 1993 | Types for Dyadic Interaction. Kohei Honda |