Preface (J.A. Bergstra, A. Ponse, S.A. Smolka). Part 1: Basic Theory. The linear time - brancing time spectrum I (R.J. van Glabbeek). Trace-oriented models of concurrency (M. Broy, E.-R. Olderog). Structural operational semantics (L. Aceto, W.J. Fokkink, C. Verhoef). Modal logics and mu-calculi: an introduction (J.C. Bradfield, C. Stirling). Part 2: Finite-State Processes. Process algebra with recursive operations (J.A. Bergstra, W.J. Fokkink, A. Ponse). Equivalence and preorder checking for finite-state systems (R. Cleaveland, O. Sokolsky). Part 3: Infinite-State Processes. A symbolic approach to value-passing processes (A. Ingólfsdóttir, H. Lin). An introduction to the pi-calculus (P. Parrow). Verification on infinite structures (O. Burkart, D. Caucal, F. Moller, B. Steffen). Part 4: Extensions. Process algebra with timing: real time and discrete time (J.C.M. Baeten, C.A. Middelburg). Probabilistic extensions of process algebras (B. Jonsson, K.G. Larsen, Wang Yi). Priority in process algebra (R. Cleaveland, G. Lüettgen, V. Natarajan). Part 5: Non-Interleaving Process Algebra. Partial-order process algebra (J.C.M. Baeten, T. Basten). A unified model for nets and process algebras (E. Best, R. Devillers, M. Koutny). Process algebras with localities (I. Castellani). Action refinement (R. Gorrieri, A. Rensink). Part 6: Tools and Applications. Algebraic process verification (J.F. Groote, M.A. Reniers). Discrete time process algebra and the semantics of SDL (J.A. Bergstra, C.A. Middelburg, Y.S. Usenko). A process algebra for Interworkings (S. Mauw, M.A. Reniers).