Applications of Process Algebra

doi:10.1017/CBO9780511608841

This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.

'A useful and interesting addition to a computer science library.'

Source: International Mathematical News

- Aa Reduce text
- Aa Enlarge text

View selected items
Save to my bookmarks
Export citations
Download PDF (zip)
Save to Kindle
Save to Dropbox
Save to Google Drive
Save content to
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to .

To save content items to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Please be advised that item(s) you selected are not available.
You are about to save
Your Kindle email address

Please provide your Kindle email.

@free.kindle.com @kindle.com (service fees apply)

By using this service, you agree that you will only keep content for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services

Contents

Frontmatter
pp i-iv
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Preface
pp v-x
- By J. C. M. Baeten, CWI, Amsterdam
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Contents
pp xi-xii
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

An introduction to process algebra
pp 1-22
- By J. A. Bergstra, Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, The Netherlands, Department of Philosophy, State University of Utrecht, Heidelberglaan 2, 3584 CS Utrecht, The Netherlands, J. W. Klop, Department of Software Technology, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands, Department of Mathematics and Computer Science, Free University, P.O. Box 7161, 1007 MC Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Two simple protocols
pp 23-44
- By Frits W. Vaandrager, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Proving mutual exclusion with process algebra
pp 45-52
- By Eric R. Nieuwland, Computer Science Department, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Process algebra as a tool for the specification and verification of CIM-architectures
pp 53-80
- By S. Mauw, Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

A process creation mechanism in process algebra
pp 81-88
- By J. A. Bergstra, Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, The Netherlands, Department of Philosophy, State University of Utrecht, Heidelberglaan 2, 3584 CS Utrecht, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Correctness proofs for systolic algorithms: palindromes and sorting
pp 89-126
- By L. Kossen, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands, W. P. Weijland, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Verification of an algorithm for log-time sorting by square comparison
pp 127-146
- By J. C. Mulder, Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, The Netherlands, W. P. Weijland, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

On the Amoeba protocol
pp 147-172
- By J. C. Mulder, Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Process algebra semantics of POOL
pp 173-236
- By Frits W. Vaandrager, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Some observations on redundancy in a context
pp 237-260
- By Frits W. Vaandrager, Centre for Mathematics and Computer Science, P.O. Box 4079, 1009 AB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

A modular approach to protocol verification using process algebra
pp 261-306
- By C. P. J. Koymans, Department of Philosophy, State University of Utrecht, Heidelberglaan 2, 3584 CS Utrecht, The Netherlands, J. C. Mulder, Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, The Netherlands
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Index of concepts
pp 307-312
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Index of names
pp 313-316
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Index of symbols and notation
pp 317-317
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register Recommend to librarian
- Export citation

Metrics

Total number of HTML views: 0

Total number of PDF views: 0 *

Loading metrics...

Total views: 0 *

Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.

Why this information is here

This section outlines the accessibility features of this content - including support for screen readers, full keyboard navigation and high-contrast display options. This may not be relevant for you.

Accessibility Information

Accessibility compliance for the PDF of this book is currently unknown and may be updated in the future.

Applications of Process Algebra

Book description

Reviews

Refine List

Actions for selected content:

Contents

Frontmatter
pp i-iv

Preface
pp v-x

Contents
pp xi-xii

An introduction to process algebra
pp 1-22

Two simple protocols
pp 23-44

Proving mutual exclusion with process algebra
pp 45-52

Process algebra as a tool for the specification and verification of CIM-architectures
pp 53-80

A process creation mechanism in process algebra
pp 81-88

Correctness proofs for systolic algorithms: palindromes and sorting
pp 89-126

Verification of an algorithm for log-time sorting by square comparison
pp 127-146

On the Amoeba protocol
pp 147-172

Process algebra semantics of POOL
pp 173-236

Some observations on redundancy in a context
pp 237-260

A modular approach to protocol verification using process algebra
pp 261-306

Index of concepts
pp 307-312

Index of names
pp 313-316

Index of symbols and notation
pp 317-317

Metrics

Full text views

Book summary page views

Accessibility standard: Unknown

Why this information is here

Accessibility Information

Applications of Process Algebra

Book description

Reviews

Refine List

Actions for selected content:

Save Search

Contents

Metrics

Full text views

Book summary page views

Accessibility standard: Unknown

Why this information is here

Accessibility Information