| 1993 | Hybrid Parallel Programming and Implementation of Synchronised Communication. | Jifeng He |
| 1993 | Object Oriented Application Flow Graphs and their Semantics. | Erik de Haas, Peter van Emde Boas |
| 1993 | A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours. | Rob J. van Glabbeek |
| 1993 | Real Number Computability and Domain Theory. | Pietro Di Gianantonio |
| 1993 | The Complexity of Finding Replicas Using Equality Tests. | Gudmund Skovbjerg Frandsen, Peter Bro Miltersen, Sven Skyum |
| 1993 | An Expressive Logic for Basic Process Algebra. | Alessandro Fantechi, Stefania Gnesi, V. Perticaroli |
| 1993 | Completeness Results for Linear Logic on Petri Nets. | Uffe Engberg, Glynn Winskel |
| 1993 | An Introduction to Dynamic Labled 2-Structures. | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 1993 | Global Properties of 2D Cellular Automata: Some Complexity Results. | Bruno Durand |
| 1993 | Lambda Substitution Algebras. | Zinovy Diskin, Ilya Beylin |
| 1993 | Complex and Complex-Like Traces. | Volker Diekert |
| 1993 | Filter Models for a Parallel and Non Deterministic Lambda-Calculus. | Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Adolfo Piperno |
| 1993 | Image Compression Using Weighted Finite Automata. | Karel Culk II, Jarkko Kari |
| 1993 | Data Encapsulation and Modularity: Three Views of Inheritance. | Jos Flix Costa, Amlcar Sernadas, Cristina Sernadas |
| 1993 | Defining Soft Sortedness by Abstract Interpretation. | Jian Chen, John Staples |
| 1993 | A Model for Real-Time Process Algebras (Extended Abstract). | Liang Chen |
| 1993 | Approximate and Exact Deterministic Parallel Selection. | Shiva Chaudhuri, Torben Hagerup, Rajeev Raman |
| 1993 | May I Borrow Your Logic? | Maura Cerioli, Jos Meseguer |
| 1993 | Speedup of Recognizable Trace Languages. | Christophe Crin, Antoine Petit |
| 1993 | Observing Distribution in Processes. | Ilaria Castellani |
| 1993 | On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract). | Liming Cai, Jianer Chen |
| 1993 | Isomorphisms between Predicates and State Transformers. | Marcello M. Bonsangue, Joost N. Kok |
| 1993 | On the Complexity of Scheduling Incompatible Jobs with Unit-Times. | Hans L. Bodlaender, Klaus Jansen |
| 1993 | A Characterization of Sturmian Morphisms. | Jean Berstel, Patrice Sbold |
| 1993 | Efficient Type Reconstruction in the Presence of Inheritance. | Marcin Benke |