Process Algebra

Equational Theories of Communicating Processes

By: J. C. M. Baeten

Write A Review

Hardcover | 21 January 2010

At a Glance

Hardcover
478 Pages

Dimensions(cm)
22.86 x 15.24 x 2.69

Hardcover

RRP $179.95

$159.75

11%OFF

or 4 interest-free payments of $39.94 with

Ships in 5 to 7 business days

Process algebra is a widely accepted and much used technique in the specification and verification of parallel and distributed software systems. This book sets the standard for the field. It assembles the relevant results of most process algebras currently in use, and presents them in a unified framework and notation. The authors describe the theory underlying the development, realization and maintenance of software that occurs in parallel or distributed systems. A system can be specified in the syntax provided, and the axioms can be used to verify that a composed system has the required external behaviour. As examples, two protocols are completely specified and verified in the text: the Alternating-Bit Protocol for Data Communication, and Fischer's Protocol of Mutual Exclusion. The book serves as a reference text for researchers and graduate students in computer science, offering a complete overview of the field and referring to further literature where appropriate.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Parallel Processing Mathematics Algebra Computer Programming & Software Development Programming & Scripting Languages Mathematical Theory of Computation

Foreword	p. ix
Foreword	p. x
Foreword	p. xi
Preface	p. xiii
Process algebra	p. 1
Definition	p. 1
Calculation	p. 3
History	p. 4
Preliminaries	p. 11
Introduction	p. 11
Equational theories	p. 11
Algebras	p. 21
Term rewriting systems	p. 30
Bibliographical remarks	p. 34
Transition systems	p. 35
Transition-system spaces	p. 35
Structural operational semantics	p. 47
Bibliographical remarks	p. 64
Basic process theory	p. 67
Introduction	p. 67
The process theory MPT	p. 68
The term model	p. 72
The empty process	p. 81
Projection	p. 92
Prefix iteration	p. 102
Bibliographical remarks	p. 107
Recursion	p. 109
Introduction	p. 109
Recursive specifications	p. 110
Solutions of recursive specifications	p. 113
The term model	p. 119
Recursion principles	p. 124
Describing a stack	p. 146
Expressiveness and definability	p. 148
Regular processes	p. 154
Recursion and BSP*(A)	p. 157
The projective limit model	p. 159
Bibliographical remarks	p. 168
Sequential processes	p. 171
Sequential composition	p. 171
The process theory TSP	p. 171
The term model	p. 174
Projection in TSP(A)	p. 177
Iteration	p. 178
Recursion	p. 182
Renaming, encapsulation, and skip operators	p. 189
Bibliographical remarks	p. 194
Parallel and communicating processes	p. 195
Interleaving	p. 195
An operational view	p. 196
Standard communication	p. 199
The process theory BCP	p. 201
The term model	p. 216
Recursion, buffers, and bags	p. 218
The process theory TCP and further extensions	p. 227
Specifying the Alternating-Bit Protocol	p. 235
Bibliographical remarks	p. 242
Abstraction	p. 245
Introduction	p. 245
Transition systems with silent steps	p. 246
BSP with silent steps	p. 256
The term model	p. 258
Some extensions of BSP_&tau(A)	p. 267
TCP with silent steps	p. 276
Iteration and divergence	p. 280
Recursion and fair abstraction	p. 284
Verification of the ABP and queues revisited	p. 295
Bibliographical remarks	p. 298
Timing	p. 301
Introduction	p. 301
Timed transition systems	p. 304
Discrete time, relative time	p. 307
The term model	p. 309
Time iteration and delayable actions	p. 312
The relation between BSP(A) and BSP^drt*(A)	p. 317
The process theory TCP^drt*(A, ¿)	p. 319
Fischer's protocol	p. 327
Bibliographical remarks	p. 333
Data and states	p. 335
Introduction	p. 335
Guarded commands	p. 336
The inaccessible process	p. 345
Propositional signals	p. 348
State operators	p. 362
Choice quantification	p. 366
Bibliographical remarks	p. 374
Features	p. 375
Priorities	p. 375
Probabilities	p. 381
Mobility	p. 387
Parallel composition revisited	p. 389
Bibliographical remarks	p. 391
Semantics	p. 393
Bisimilarity and trace semantics	p. 393
Failures and readiness semantics	p. 397
The linear time - branching time lattice	p. 401
Partial-order semantics	p. 407
Bibliographical remarks	p. 410
Bibliography	p. 411
Index of Symbols and Notations	p. 421
Index of Authors	p. 435
Index of Subjects	p. 439
Table of Contents provided by Ingram. All Rights Reserved.

Process Algebra

Equational Theories of Communicating Processes

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Learning Go

An Idiomatic Approach to Real-World Go Programming

The C Programming Language

Prentice Hall Software

Python All-in-One For Dummies

3rd Edition

Introduction to Programming Languages

Swift

The Practical Guide

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Effective Modern C++

42 Specific Ways to Improve Your Use of C++11 And C++14

The Explosive Child: Sixth Edition

A New Approach for Understanding and Parenting Easily Frustrated, Chronically Inflexible Children

C# 10.0 All-in-One For Dummies

For Dummies (Computer/Tech)

Coding All-in-One For Dummies

2nd Edition

Fundamentals of Python

3rd Edition - First Programs

PHP, MySQL, & JavaScript All-In-One For Dummies

For Dummies

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

Effective Typescript

83 Specific Ways to Improve Your Typescript

Laravel: Up & Running

3rd Edition - A Framework for Building Modern PHP Apps

Introducing Python

Modern Computing in Simple Packages

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

MATLAB

6th Edition - A Practical Introduction to Programming and Problem Solving

C++ Programming Language, The

This product is categorised by