Coverart for item
The Resource Handbook of process algebra, edited by J.A. Bergstra, A. Ponse, S.A. Smolka

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

Label
Handbook of process algebra
Title
Handbook of process algebra
Statement of responsibility
edited by J.A. Bergstra, A. Ponse, S.A. Smolka
Contributor
Subject
Language
eng
Cataloging source
DLC
Illustrations
illustrations
Index
index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorDate
1955-
http://library.link/vocab/relatedWorkOrContributorName
  • Bergstra, Jan A
  • Ponse, Alban
  • Smolka, Scott A
http://library.link/vocab/subjectName
  • Machine theory
  • Parallel processing (Electronic computers)
Label
Handbook of process algebra, edited by J.A. Bergstra, A. Ponse, S.A. Smolka
Instantiates
Publication
Bibliography note
Includes bibliographical references and indexes
Contents
  • Preface
  • List of Contributors
  • Pt. 1.
  • Basic Theory
  • 1.
  • linear time - branching time spectrum I. The semantics of concrete, sequential processes/
  • R. J. van Glabbeek
  • p. 3
  • 2.
  • Trace-oriented models of concurrency/
  • M. Broy
  • E.-R. Olderog
  • p. 101
  • p. 197
  • 3.
  • Structural operational semantics/
  • L. Aceto
  • W. J. Fokkink
  • C. Verhoef
  • 4.
  • Modal logics and mu-calculi: An introduction/
  • J. C. Bradfield
  • C. Stirling
  • p. 293
  • Pt. 2.
  • Finite-State Processes
  • p. 333
  • 5.
  • Process algebra with recursive operations/
  • J. A. Bergstra
  • W. J. Fokkink
  • A. Ponse
  • 6.
  • Equivalence and preorder checking for finite-state systems/
  • R. Cleaveland
  • O. Sokolsky
  • p. 391
  • Pt. 3.
  • Infinite-State Processes
  • 7.
  • symbolic approach to value-passing processes/
  • A. Ingolfsdottir
  • H. Lin
  • p. 427
  • 8.
  • introduction to the [pi]-calculus/
  • J. Parrow
  • p. 479
  • p. 545
  • 9.
  • Verification on infinite structures/
  • O. Burkart
  • D. Caucal
  • F. Moller
  • Pt. 4.
  • Extensions
  • 10.
  • Process algebra with timing: Real time and discrete time/
  • J. C. M. Baeten
  • C. A. Middelburg
  • p. 627
  • p. 685
  • 11.
  • Probabilistic extensions of process algebras/
  • B. Jonsson
  • Wang Yi
  • K. G. Larsen
  • p. 711
  • 12.
  • Priority in process algebra/
  • R. Cleaveland
  • G. Luttgen
  • V. Natarajan
  • Pt. 5.
  • Non-Interleaving Process Algebra
  • 13.
  • Partial-order process algebra (and its relation to Petri nets)/
  • J. C. M. Baeten
  • T. Basten
  • p. 769
  • p. 873
  • 14.
  • unified model for nets and process algebras/
  • E. Best
  • R. Devillers
  • M. Koutny
  • 15.
  • Process algebras with localities/
  • I. Castellani
  • p. 945
  • 16.
  • Action refinement/
  • R. Gorrieri
  • A. Rensink
  • p. 1047
  • Pt. 6.
  • Tools and Applications
  • 17.
  • Algebraic process verification/
  • J. F. Groote
  • M. A. Reniers
  • p. 1151
  • p. 1209
  • 18.
  • Discrete time process algebra and the semantics of SDL/
  • J. A. Bergstra
  • C. A. Middelburg
  • Y. S. Usenko
  • 19.
  • process algebra for Interworkings/
  • S. Mauw
  • M. A. Reniers
  • p. 1269
  • Author Index.
  • p. 1329
Control code
982001023642
Dimensions
25 cm.
Extent
xiv, 1342 p
Isbn
9780444828309
Lccn
2001023642
Other physical details
ill
Label
Handbook of process algebra, edited by J.A. Bergstra, A. Ponse, S.A. Smolka
Publication
Bibliography note
Includes bibliographical references and indexes
Contents
  • Preface
  • List of Contributors
  • Pt. 1.
  • Basic Theory
  • 1.
  • linear time - branching time spectrum I. The semantics of concrete, sequential processes/
  • R. J. van Glabbeek
  • p. 3
  • 2.
  • Trace-oriented models of concurrency/
  • M. Broy
  • E.-R. Olderog
  • p. 101
  • p. 197
  • 3.
  • Structural operational semantics/
  • L. Aceto
  • W. J. Fokkink
  • C. Verhoef
  • 4.
  • Modal logics and mu-calculi: An introduction/
  • J. C. Bradfield
  • C. Stirling
  • p. 293
  • Pt. 2.
  • Finite-State Processes
  • p. 333
  • 5.
  • Process algebra with recursive operations/
  • J. A. Bergstra
  • W. J. Fokkink
  • A. Ponse
  • 6.
  • Equivalence and preorder checking for finite-state systems/
  • R. Cleaveland
  • O. Sokolsky
  • p. 391
  • Pt. 3.
  • Infinite-State Processes
  • 7.
  • symbolic approach to value-passing processes/
  • A. Ingolfsdottir
  • H. Lin
  • p. 427
  • 8.
  • introduction to the [pi]-calculus/
  • J. Parrow
  • p. 479
  • p. 545
  • 9.
  • Verification on infinite structures/
  • O. Burkart
  • D. Caucal
  • F. Moller
  • Pt. 4.
  • Extensions
  • 10.
  • Process algebra with timing: Real time and discrete time/
  • J. C. M. Baeten
  • C. A. Middelburg
  • p. 627
  • p. 685
  • 11.
  • Probabilistic extensions of process algebras/
  • B. Jonsson
  • Wang Yi
  • K. G. Larsen
  • p. 711
  • 12.
  • Priority in process algebra/
  • R. Cleaveland
  • G. Luttgen
  • V. Natarajan
  • Pt. 5.
  • Non-Interleaving Process Algebra
  • 13.
  • Partial-order process algebra (and its relation to Petri nets)/
  • J. C. M. Baeten
  • T. Basten
  • p. 769
  • p. 873
  • 14.
  • unified model for nets and process algebras/
  • E. Best
  • R. Devillers
  • M. Koutny
  • 15.
  • Process algebras with localities/
  • I. Castellani
  • p. 945
  • 16.
  • Action refinement/
  • R. Gorrieri
  • A. Rensink
  • p. 1047
  • Pt. 6.
  • Tools and Applications
  • 17.
  • Algebraic process verification/
  • J. F. Groote
  • M. A. Reniers
  • p. 1151
  • p. 1209
  • 18.
  • Discrete time process algebra and the semantics of SDL/
  • J. A. Bergstra
  • C. A. Middelburg
  • Y. S. Usenko
  • 19.
  • process algebra for Interworkings/
  • S. Mauw
  • M. A. Reniers
  • p. 1269
  • Author Index.
  • p. 1329
Control code
982001023642
Dimensions
25 cm.
Extent
xiv, 1342 p
Isbn
9780444828309
Lccn
2001023642
Other physical details
ill

Library Locations

    • Harold Cohen LibraryBorrow it
      Ashton Street, Liverpool, L69 3DA, GB
      53.418074 -2.967913
Processing Feedback ...