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 BibTeX
@proceedings{DBLP:conf/concur/1992,
editor = {Rance Cleaveland},
title = {CONCUR '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
booktitle = {CONCUR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {630},
year = {1992},
isbn = {3-540-55822-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Lecture
Semantics I
Proof Techniques
Modular Analysis
True Concurrency
Decision Problems
Invited Talk
- Amir Pnueli:
How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract).
162-175 BibTeX
Temporal Logic I
- Frank A. Stomp:
Preserving Specific Properties in Programm Development: How to Debug Programs (Conference Version).
176-191 BibTeX
- Doron Peled:
Sometimes 'Some' is as Good as 'All'.
192-206 BibTeX
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
Copyright © Sat May 16 23:03:16 2009
by Michael Ley (ley@uni-trier.de)