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

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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

Real-Time Systems I

Testing Semantics

Invited Paper

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 © Mon Nov 2 20:26:20 2009 by Michael Ley (ley@uni-trier.de)