Skip to main content Accessibility help
×
Hostname: page-component-848d4c4894-8kt4b Total loading time: 0 Render date: 2024-07-03T14:39:32.675Z Has data issue: false hasContentIssue false

Foreword

Published online by Cambridge University Press:  05 July 2014

J. C. M. Baeten
Affiliation:
Technische Universiteit Eindhoven, The Netherlands
T. Basten
Affiliation:
Technische Universiteit Eindhoven, The Netherlands
M. A. Reniers
Affiliation:
Technische Universiteit Eindhoven, The Netherlands
Jan Bergstra
Affiliation:
United Kingdom
Get access

Summary

This book about process algebra improves on its predecessor, written by Jos Baeten and Peter Weijland almost 20 years ago, by being more comprehensive and by providing far more mathematical detail. In addition the syntax of ACP has been extended by a constant 1 for termination. This modification not only makes the syntax more expressive, it also facilitates a uniform reconstruction of key aspects of CCS, CSP as well as ACP, within a single framework.

After renaming the empty process (∈) into 1 and the inactive process (δ) into 0, the axiom system ACP is redesigned as BCP. This change is both pragmatically justified and conceptually convincing. By using a different acronym instead of ACP, the latter can still be used as a reference to its original meaning, which is both useful and consistent.

Curiously these notational changes may be considered marginal and significant at the same time. In terms of theorems and proofs, or in terms of case studies, protocol formalizations and the design of verification tools, the specific details of notation make no real difference at all. But by providing a fairly definitive and uncompromising typescript a major impact is obtained on what might be called ‘nonfunctional qualities’ of the notational framework. I have no doubt that these nonfunctional qualities are positive and merit being exploited in full detail as has been done by Baeten and his co-authors. Unavoidably, the notational evolution produces a change of perspective. While, for instance, the empty process is merely an add on feature for ACP, it constitutes a conceptual cornerstone for BCP.

Type
Chapter
Information
Publisher: Cambridge University Press
Print publication year: 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@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.

  • Foreword
  • J. C. M. Baeten, Technische Universiteit Eindhoven, The Netherlands, T. Basten, Technische Universiteit Eindhoven, The Netherlands, M. A. Reniers, Technische Universiteit Eindhoven, The Netherlands
  • Book: Process Algebra: Equational Theories of Communicating Processes
  • Online publication: 05 July 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9781139195003.003
Available formats
×

Save book to Dropbox

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 Dropbox.

  • Foreword
  • J. C. M. Baeten, Technische Universiteit Eindhoven, The Netherlands, T. Basten, Technische Universiteit Eindhoven, The Netherlands, M. A. Reniers, Technische Universiteit Eindhoven, The Netherlands
  • Book: Process Algebra: Equational Theories of Communicating Processes
  • Online publication: 05 July 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9781139195003.003
Available formats
×

Save book to Google Drive

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 Google Drive.

  • Foreword
  • J. C. M. Baeten, Technische Universiteit Eindhoven, The Netherlands, T. Basten, Technische Universiteit Eindhoven, The Netherlands, M. A. Reniers, Technische Universiteit Eindhoven, The Netherlands
  • Book: Process Algebra: Equational Theories of Communicating Processes
  • Online publication: 05 July 2014
  • Chapter DOI: https://doi.org/10.1017/CBO9781139195003.003
Available formats
×