dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

3. CONCUR 1992: Stony Brook, NY, USA

Rance Cleaveland (Ed.): 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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Invited Lecture

Semantics I

Proof Techniques

Modular Analysis

True Concurrency

Decision Problems

Invited Talk

Temporal Logic I

Temporal Logic II

Invited Talk

True Concurrency

True Concurrency III

Invited Talk

Automata

Applications

Invited Talk

Real-Time

Probabilistic Processes

Trace Semantics

Synchronisation

Semantics II

Last update Wed May 22 02:30:33 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page