#marketplace, .navbar, .container, .container-fluid, #media, #category, #ewards, #careers, .blueHeroSearchContainer, #photoHeroBanner, #etextbooks-page-2015, .slider-arrow, #books-page-2015, #my-account-wrapper-2015 {display:none;} .noscriptmsg p, .noscriptmsg h1 {color: #000;} body {background-color: #ccc !important; font-size: 14px; }

We're sorry, but eCampus.com doesn't work properly without JavaScript.

Either your device does not support JavaScript or you do not have JavaScript enabled.

How to enable JavaScript in your browser.

Need help? Call 1-855-252-4222

Rent now promotional banner

Rent More, Save More! Use code: ECRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Introduction to Process Algebra book cover, ISBN 9783540665793

Introduction to Process Algebra

by Fokkink, Wan; Brauer, W.; Rozenberg, G.; Salomaa, A.

ISBN13: 9783540665793
ISBN10: 354066579X
eBook ISBN(s): 9783662042939
Format: Hardcover
Copyright: 2000-01-01
Publisher: Springer-Verlag New York Inc

Your order must be $35 or more to qualify for free economy shipping. Bulk sales, PO's, Marketplace items, eBooks and apparel do not qualify for this offer.
1. Introduction to Process Algebra > ISBN13: 9783540665793

List Price: ~~$69.99~~ Save up to $50.19

Digital
$42.90*

Rent Digital Options

DURATION

PRICE

Online: 30 Days,

Downloadable: 30 Days - VitalSource

$19.80*

Online: 60 Days,

Downloadable: 60 Days - VitalSource

$26.40*

Online: 90 Days,

Downloadable: 90 Days - VitalSource

$33.00*

Online: 120 Days,

Downloadable: 120 Days - VitalSource

$39.60*

Online: 180 Days,

Downloadable: 180 Days - VitalSource

$42.90*

Online: 1825 Days,

Downloadable: Lifetime access - VitalSource

$65.99*

*To support the delivery of the digital material to you, a digital delivery fee of $3.99 will be charged on each digital item.

Summary

Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.

Table of Contents

Introduction
Equational Logic
Structural Operational Semantics
Basic Process Algebra
Algebra of Communicating Processes
Recursion
Abstraction
Protocol Verifications
Extensions
Solutions to Selected Exercises
References
Table of Contents provided by Publisher. All Rights Reserved.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program