| 1993 | Structured Operational Sematics for Process Algebras and Equational Axiom Systems. | Bard Bloom |
| 1993 | Branching Time Temporal Logic and Amorphous Tree Automata. | Orna Bernholtz, Orna Grumberg |
| 1993 | A Congruence Theorem for Structured Operational Semantics with Predicates. | Jos C. M. Baeten, Chris Verhoef |
| 1993 | Non Interleaving Process Algebra. | Jos C. M. Baeten, Jan A. Bergstra |
| 1993 | On the Reduction of Chocs Bisimulation to pi-Calculus Bisimulation. | Roberto M. Amadio |
| 1993 | On the Ill-Timed but Well-Caused. | Luca Aceto, David Murphy |
| 1992 | Timed Ethernet: Real-Time Formal Specification of Ethernet. | Henri B. Weinberg, Lenore D. Zuck |
| 1992 | Action Transducers and Timed Automata. | Frits W. Vaandrager, Nancy A. Lynch |
| 1992 | Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version). | Frank A. Stomp |
| 1992 | Embeddings Among Concurrent Programming Languages (Preliminary Version). | Ehud Shapiro |
| 1992 | The Problem of "Weak Bisimulation up to". | Davide Sangiorgi, Robin Milner |
| 1992 | Posets for Configurations! | Arend Rensink |
| 1992 | Games I/O Automata Play (Extended Abstract). | Nick Reingold, Da-Wei Wang, Lenore D. Zuck |
| 1992 | Logic of Trace Languages (Extended Abstract). | Alexander Moshe Rabinovich |
| 1992 | The Duality of TIme and Information. | Vaughan R. Pratt |
| 1992 | How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). | Amir Pnueli |
| 1992 | Sometimes 'Some' is as Good as 'All'. | Doron A. Peled |
| 1992 | Multiway Synchronization Verified with Coupled Simulation. | Joachim Parrow, Peter Sjdin |
| 1992 | The Polyadic Pi-calculus (Abstract). | Robin Milner |
| 1992 | On the Semantics of Petri Nets. | Jos Meseguer, Ugo Montanari, Vladimiro Sassone |
| 1992 | Operational and Compositional Semantics of Synchronous Automaton Compositions. | Florence Maraninchi |
| 1992 | Compositional Verification of Probabilistic Processes. | Kim Guldstrand Larsen, Arne Skou |
| 1992 | At-Most-Once Message Delivery. A Case Study in Algorithm Verification. | Butler W. Lampson, Nancy A. Lynch, Jrgen F. Sgaard-Andersen |
| 1992 | The Silent Step in Time. | Steven Klusener |
| 1992 | Implementing LOTOS Specifications by Communicating State Machines. | Gnter Karjoth |