| 1992 | A Theory of Process with Localities (Extended Abstract). Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
| 1992 | Action Transducers and Timed Automata. Frits W. Vaandrager, Nancy A. Lynch |
| 1992 | At-Most-Once Message Delivery. A Case Study in Algorithm Verification. Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen |
| 1992 | Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka |
| 1992 | Bisimulation Equivalence is Decidable for all Context-Free Processes. Søren Christensen, Hans Hüttel, Colin Stirling |
| 1992 | CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings Rance Cleaveland |
| 1992 | Compositional Verification of Probabilistic Processes. Kim Guldstrand Larsen, Arne Skou |
| 1992 | Concurrent Testing of Processes (Extended Abstract). Matthew Hennessy |
| 1992 | Discrete Time Process Algebra. Jos C. M. Baeten, Jan A. Bergstra |
| 1992 | Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. Søren Christensen |
| 1992 | Embeddings Among Concurrent Programming Languages (Preliminary Version). Ehud Shapiro |
| 1992 | Games I/O Automata Play (Extended Abstract). Nick Reingold, Da-Wei Wang, Lenore D. Zuck |
| 1992 | Homology of Higher Dimensional Automata. Eric Goubault, Thomas P. Jensen |
| 1992 | How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). Amir Pnueli |
| 1992 | Implementing LOTOS Specifications by Communicating State Machines. Günter Karjoth |
| 1992 | Interface Refinement in Reactive Systems (Extended Abstract). Rob Gerth, Ruurd Kuiper, John Segers |
| 1992 | Logic of Trace Languages (Extended Abstract). Alexander Moshe Rabinovich |
| 1992 | Minimization of Timed Transition Systems. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi |
| 1992 | Model Checking for Context-Free Processes. Olaf Burkart, Bernhard Steffen |
| 1992 | Multiway Synchronization Verified with Coupled Simulation. Joachim Parrow, Peter Sjödin |
| 1992 | On the Semantics of Petri Nets. José Meseguer, Ugo Montanari, Vladimiro Sassone |
| 1992 | On the Uniqueness of Fixpoints Modulo Observation Congruence. Ed Brinksma |
| 1992 | Operational and Compositional Semantics of Synchronous Automaton Compositions. Florence Maraninchi |
| 1992 | Posets for Configurations! Arend Rensink |
| 1992 | Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version). Frank A. Stomp |
| 1992 | Programming in a General Model of Synchronization. Steven M. German |
| 1992 | Propositional Temporal Logics and Equivalences. Ursula Goltz, Ruurd Kuiper, Wojciech Penczek |
| 1992 | Sometimes 'Some' is as Good as 'All'. Doron A. Peled |
| 1992 | Structural Operational Specifications and the Trace Automata. Éric Badouel, Philippe Darondeau |
| 1992 | Testing Equivalence for Mobile Processes (Extended Abstract). Michele Boreale, Rocco De Nicola |
| 1992 | Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. Lalita Jategaonkar, Albert R. Meyer |
| 1992 | The Duality of TIme and Information. Vaughan R. Pratt |
| 1992 | The Polyadic Pi-calculus (Abstract). Robin Milner |
| 1992 | The Problem of "Weak Bisimulation up to". Davide Sangiorgi, Robin Milner |
| 1992 | The Silent Step in Time. Steven Klusener |
| 1992 | The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. Roope Kaivola, Antti Valmari |
| 1992 | Timed Ethernet: Real-Time Formal Specification of Ethernet. Henri B. Weinberg, Lenore D. Zuck |
| 1992 | Towards a Theory of Actor Computation. Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1992 | Using CSP to Verify a Timed Protocol over a Fair Medium. Jim Davies, Steve A. Schneider |
| 1992 | Verification of Parallel Systems via Decomposition. Jan Friso Groote, Faron Moller |