3. CONCUR 1992: Stony Brook, NY, USA
- Rance Cleaveland:
CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Lecture Notes in Computer Science 630, Springer 1992, ISBN 3-540-55822-5
Invited Lecture
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
Modular Analysis
- Rob Gerth, Ruurd Kuiper, John Segers:
Interface Refinement in Reactive Systems (Extended Abstract). 77-93
True Concurrency
- Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Process with Localities (Extended Abstract). 108-122
Decision Problems
- 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
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
True Concurrency
True Concurrency III
- 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
- Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi:
Minimization of Timed Transition Systems. 340-354
Applications
- Henri B. Weinberg, Lenore D. Zuck:
Timed Ethernet: Real-Time Formal Specification of Ethernet. 370-385
Invited Talk
Real-Time
Probabilistic Processes
- Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka:
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). 472-485
Trace Semantics
Synchronisation
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