• 
  Rance Cleaveland (Ed.): CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Springer 1992 Lecture Notes in Computer Science ISBN 3-540-55822-5

Invited Lecture

• 
  Robin Milner: The Polyadic Pi-calculus (Abstract). 1

Semantics I

• 
  Michele Boreale, Rocco De Nicola: Testing Equivalence for Mobile Processes (Extended Abstract). 2-16
• 
  Lalita Jategaonkar, Albert R. Meyer: Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report. 17-31

Proof Techniques

• 
  Davide Sangiorgi, Robin Milner: The Problem of ``Weak Bisimulation up to''. 32-46
• 
  Ed Brinksma: On the Uniqueness of Fixpoints Modulo Observation Congruence. 47-61

Modular Analysis

• 
  Jan Friso Groote, Faron Moller: Verification of Parallel Systems via Decomposition. 62-76
• 
  Rob Gerth, Ruurd Kuiper, John Segers: Interface Refinement in Reactive Systems (Extended Abstract). 77-93

True Concurrency

• 
  Matthew Hennessy: Concurrent Testing of Processes (Extended Abstract). 94-107
• 
  Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn: A Theory of Process with Localities (Extended Abstract). 108-122

Decision Problems

• 
  Olaf Burkart, Bernhard Steffen: Model Checking for Context-Free Processes. 123-137
• 
  Søren Christensen, Hans Hüttel, Colin Stirling: Bisimulation Equivalence is Decidable for all Context-Free Processes. 138-147
• 
  Søren Christensen: Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems. 148-161

Invited Talk

• 
  Amir Pnueli: How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). 162-175

Temporal Logic I

• 
  Frank A. Stomp: Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version). 176-191
• 
  Doron Peled: Sometimes 'Some' is as Good as 'All'. 192-206

Temporal Logic II

• 
  Roope Kaivola, Antti Valmari: The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear temporal Logic. 207-221
• 
  Ursula Goltz, Ruurd Kuiper, Wojciech Penczek: Propositional Temporal Logics and Equivalences. 222-236

Invited Talk

• 
  Vaughan R. Pratt: The Duality of TIme and Information. 237-253

True Concurrency

• 
  Eric Goubault, Thomas P. Jensen: Homology of Higher Dimensional Automata. 254-268
• 
  Arend Rensink: Posets for Configurations! 269-285

True Concurrency III

• 
  José Meseguer, Ugo Montanari, Vladimiro Sassone: On the Semantics of Petri Nets. 286-301
• 
  Eric Badouel, Philippe Darondeau: Structural Operational Specifications and the Trace Automata. 302-316

Invited Talk

• 
  Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen: At-Most-Once Message Delivery. A Case Study in Algorithm Verification. 317-324

Automata

• 
  Nick Reingold, Da-Wei Wang, Lenore D. Zuck: Games I/O Automata Play (Extended Abstract). 325-339
• 
  Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi: Minimization of Timed Transition Systems. 340-354

Applications

• 
  Jim Davies, Steve Schneider: Using CSP to Verify a Timed Protocol over a Fair Medium. 355-369
• 
  Henri B. Weinberg, Lenore D. Zuck: Timed Ethernet: Real-Time Formal Specification of Ethernet. 370-385
• 
  Günter Karjoth: Implementing LOTOS Specifications by Communicating State Machines. 386-400

Invited Talk

• 
  Jos C. M. Baeten, Jan A. Bergstra: Discrete Time Process Algebra. 401-420

Real-Time

• 
  Steven Klusener: The Silent Step in Time. 421-435
• 
  Frits W. Vaandrager, Nancy A. Lynch: Action Transducers and Timed Automata. 436-455

Probabilistic Processes

• 
  Kim Guldstrand Larsen, Arne Skou: Compositional Verification of Probabilistic Processes. 456-471
• 
  Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka: Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). 472-485

Trace Semantics

• 
  Ehud Y. Shapiro: Embeddings Among Concurrent Programming Languages (Preliminary Version). 486-503
• 
  Alexander Moshe Rabinovich: Logic of Trace Languages (Extended Abstract). 504-517

Synchronisation

• 
  Joachim Parrow, Peter Sjödin: Multiway Synchrinizaton Verified with Coupled Simulation. 518-533
• 
  Steven M. German: Programming in a General Model of Synchronization. 534-549

Semantics II

• 
  Florence Maraninchi: Operational and Compositional Semantics of Synchronous Automaton Compositions. 550-564
• 
  Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. 565-579