3. CONCUR 1992: Stony Brook, NY, USA

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