Handbook of process algebra / edited by J.A. Bergstra, A. Ponse, S.A. Smolka.

Format:

Book

Contributor:

Bergstra, J. A.

Ponse, A. (Alban), 1955-

Smolka, Scott A.

Ellis D. Williams, College 1865, Endowment Fund.

Language:

English

Subjects (All):

Machine theory.

Parallel processing (Electronic computers).

Physical Description:

xiv, 1342 pages : illustrations ; 25 cm

Edition:

First edition.

Place of Publication:

Amsterdam ; New York : Elsevier, 2001.

Contents:

Part 1 Basic Theory

1. The linear time - branching time spectrum I. The semantics of concrete, sequential processes / R.J. van Glabbeek 3

2. Trace-oriented models of concurrency / M. Broy, E.-R. Olderog 101

3. Structural operational semantics / L. Aceto, W.J. Fokkink, C. Verhoef 197

4. Modal logics and mu-calculi: An introduction / J.C. Bradfield, C. Stirling 293

Part 2 Finite-State Processes

5. Process algebra with recursive operations / J.A. Bergstra, W.J. Fokkink, A. Ponse 333

6. Equivalence and preorder checking for finite-state systems / R. Cleaveland, O. Sokolsky 391

Part 3 Infinite-State Processes

7. A symbolic approach to value-passing processes / A. Ingolfsdottir, H. Lin 427

8. An introduction to the [pi]-calculus / J. Parrow 479

9. Verification on infinite structures / O. Burkart, D. Caucal, F. Moller, B. Steffen 545

Part 4 Extensions

10. Process algebra with timing: Real time and discrete time / J.C.M. Baeten, C.A. Middelburg 627

11. Probabilistic extensions of process algebras / B. Jonsson, Wang Yi, K.G. Larsen 685

12. Priority in process algebra / R. Cleaveland, G. Luttgen, V. Natarajan 711

Part 5 Non-Interleaving Process Algebra

13. Partial-order process algebra (and its relation to Petri nets) / J.C.M. Baeten, T. Basten 769

14. A unified model for nets and process algebras / E. Best, R. Devillers, M. Koutny 873

15. Process algebras with localities / I. Castellani 945

16. Action refinement / R. Gorrieri, A. Rensink 1047

Part 6 Tools and Applications

17. Algebraic process verification / J.F. Groote, M.A. Reniers 1151

18. Discrete time process algebra and the semantics of SDL / J.A. Bergstra, C.A. Middelburg, Y.S. Usenko 1209

19. A process algebra for Interworkings / S. Mauw, M.A. Reniers 1269.

Notes:

Includes bibliographical references and indexes.

Local Notes:

Acquired for the Penn Libraries with assistance from the Ellis D. Williams, College 1865, Endowment Fund.

ISBN:

0444828303

OCLC:

46366269