6. CONCUR 1995:
Philadelphia, PA, USA
Insup Lee, Scott A. Smolka (Eds.):
CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings.
Lecture Notes in Computer Science 962 Springer 1995, ISBN 3-540-60218-6 BibTeX
@proceedings{DBLP:conf/concur/1995,
editor = {Insup Lee and
Scott A. Smolka},
title = {CONCUR '95: Concurrency Theory, 6th International Conference,
Philadelphia, PA, USA, August 21-24, 1995, Proceedings},
booktitle = {CONCUR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {962},
year = {1995},
isbn = {3-540-60218-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Model Checking I
Mobile Processes I
Invited Paper
Mobile Processes II
Process Theory
True Concurrency
Invited Paper
Process Algebra I
Probabilistic Automata
Invited Paper
- David Harel:
Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering.
264-268 BibTeX
Real-Time Systems I
Testing Semantics
Invited Paper
- Dan Craigen:
Formal Methods Technology Transfer: Impediments and Innovation (Abstract).
328-332 BibTeX
Decidability Results
Refinement Theory
Invited Paper
Model Checking II
Linear-Time Logics
Invited Paper
Mobile Processes III
Process Algebra II
Real-Time Systems II
Copyright © Sat May 16 23:03:16 2009
by Michael Ley (ley@uni-trier.de)
