| 1992 | The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. | Roope Kaivola, Antti Valmari |
| 1992 | Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. | Lalita Jategaonkar, Albert R. Meyer |
| 1992 | Concurrent Testing of Processes (Extended Abstract). | Matthew Hennessy |
| 1992 | Verification of Parallel Systems via Decomposition. | Jan Friso Groote, Faron Moller |
| 1992 | Homology of Higher Dimensional Automata. | Eric Goubault, Thomas P. Jensen |
| 1992 | Propositional Temporal Logics and Equivalences. | Ursula Goltz, Ruurd Kuiper, Wojciech Penczek |
| 1992 | Interface Refinement in Reactive Systems (Extended Abstract). | Rob Gerth, Ruurd Kuiper, John Segers |
| 1992 | Programming in a General Model of Synchronization. | Steven M. German |
| 1992 | Using CSP to Verify a Timed Protocol over a Fair Medium. | Jim Davies, Steve A. Schneider |
| 1992 | Bisimulation Equivalence is Decidable for all Context-Free Processes. | Sren Christensen, Hans Httel, Colin Stirling |
| 1992 | Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. | Sren Christensen |
| 1992 | Model Checking for Context-Free Processes. | Olaf Burkart, Bernhard Steffen |
| 1992 | On the Uniqueness of Fixpoints Modulo Observation Congruence. | Ed Brinksma |
| 1992 | A Theory of Process with Localities (Extended Abstract). | Grard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn |
| 1992 | Testing Equivalence for Mobile Processes (Extended Abstract). | Michele Boreale, Rocco De Nicola |
| 1992 | Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). | Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka |
| 1992 | Discrete Time Process Algebra. | Jos C. M. Baeten, Jan A. Bergstra |
| 1992 | Structural Operational Specifications and the Trace Automata. | ric Badouel, Philippe Darondeau |
| 1992 | Minimization of Timed Transition Systems. | Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi |
| 1992 | Towards a Theory of Actor Computation. | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
| 1991 | Reduced Labelled Transition Systems Save Verification Effort. | Antti Valmari, Matthew Clegg |
| 1991 | A Method for the Development of Totally Correct Shared-State Parallel Programs. | Ketil Stlen |
| 1991 | Some Finite-Graph Models for Process Algebra. | Paul Spruit, Roel J. Wieringa |
| 1991 | Experiments on Processes with Backtracking. | Philippe Schnoebelen |
| 1991 | Efficient Verification of Determinate Processes. | Huajun Quin |